domain ontology subgroup of ontology, 1 assertions