spec emptyontology =
Class: Boy
Class: Girl
Class: Dog
Individual: Stewie
Types:
Boy
DisjointClasses:
Boy,Dog,Girl
with Class Boy |-> YoungMan