create alias smaller_penetrating (0) -> larger_penetrated (21066)
create alias small_penetrator_big_penetrated (0) -> larger_penetrated (21066)
create alias smaller_penetrating_larger (0) -> larger_penetrated (21066)
create implication larger_penetrated (21066) -> penetration (782826)
create implication larger_penetrated (21066) -> size_difference (313588)
create alias larger_penetrating (0) -> smaller_penetrated (42319)
create alias big_penetrator_small_penetrated (0) -> smaller_penetrated (42319)
create alias larger_penetrating_smaller (0) -> smaller_penetrated (42319)
create implication smaller_penetrated (42319) -> penetration (782826)
create implication smaller_penetrated (42319) -> size_difference (313588)