hi:symbolic_ontology