create alias smaller_on_bottom (581) -> larger_on_top (2338)
create alias larger_on_bottom (489) -> smaller_on_top (2729)
create alias bigger_on_bottom (0) -> smaller_on_top (2729)
create implication smaller_on_top (2729) -> on_top (141538)
create implication larger_on_top (2338) -> size_difference (445710)
create implication smaller_on_top (2729) -> size_difference (445710)