(cat and dog) or (horse and frog)