create alias smaller_on_bottom (527) -> larger_on_top (2168)
create alias larger_on_bottom (444) -> smaller_on_top (2549)
create alias bigger_on_bottom (0) -> smaller_on_top (2549)
create implication smaller_on_top (2549) -> on_top (135033)
create implication larger_on_top (2168) -> size_difference (423093)
create implication smaller_on_top (2549) -> size_difference (423093)