an insect has six legs
all_insects has not six_legs bugs has legs_and_wings all_insects has six_legs insect has not 6_legs insects has not six_legs insects has 6_legs insects has not 6_legs insects has six_legs insect has 6_legs elephant has four_legs