. . . "animal, if x is an animal, then it may or may not be a dog." . .