Trope ontology