foundational ontology subgroup of ontology, 1 assertions