type(joe, human).
type(joe, animal).
subclassOf(human, animal).
succeeds(animalExample, true).