mathstory 5 (ontology)