create alias smaller_on_bottom (581) -> larger_on_top (2341)
create alias larger_on_bottom (489) -> smaller_on_top (2739)
create alias bigger_on_bottom (0) -> smaller_on_top (2739)
create implication smaller_on_top (2739) -> on_top (141674)
create implication larger_on_top (2341) -> size_difference (446143)
create implication smaller_on_top (2739) -> size_difference (446143)