An ontology of abstract propositions multiplies entities beyond necessity when behavioral or functio...