if zero antitype of plant has a different take compared to another antitype of animal, then that separate is vague to that antitype of plant
animals is not_plants. antisymmetric_binary_predicate is binary_predicate. antitype is kind. non_zero_integer is non_zero_number. zero is lower_number_than_one. plants is not_animals. antilope is mammal_genus. antitype is representation. genus_noctiluca is protoctist_genus. 0 is character.