Exampe 09: new ontology and inference