diff --git a/ExtendedRelationOntology.ttl b/ExtendedRelationOntology.ttl
index ea3b2b5..705e5e8 100644
--- a/ExtendedRelationOntology.ttl
+++ b/ExtendedRelationOntology.ttl
@@ -335,7 +335,7 @@ cco:disposition_of_aggregate rdf:type owl:ObjectProperty ;
                              rdfs:subPropertyOf cco:inheres_in_aggregate ;
                              rdfs:domain obo:BFO_0000016 ;
                              rdfs:range obo:BFO_0000027 ;
-                             cco:definition "x disposition_of_aggregate y iff y is an instance of Object Aggregate and x is an instance of Disposition, such that x inheres_in_aggregate y."@en ;
+                             cco:definition "x disposition_of_aggregate y iff y is an instance of Object Aggregate and x is an instance of Disposition, and x inheres_in_aggregate y."@en ;
                              cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ExtendedRelationOntology"^^xsd:anyURI ;
                              rdfs:label "disposition of aggregate"@en .
 
@@ -610,7 +610,7 @@ cco:quality_of_aggregate rdf:type owl:ObjectProperty ;
                          rdfs:subPropertyOf cco:inheres_in_aggregate ;
                          rdfs:domain obo:BFO_0000019 ;
                          rdfs:range obo:BFO_0000027 ;
-                         cco:definition "x quality_of_aggregate y iff y is an instance of Object Aggregate and x is an instance of Quality, such that x inheres_in_aggregate y."@en ;
+                         cco:definition "x quality_of_aggregate y iff y is an instance of Object Aggregate and x is an instance of Quality, and x inheres_in_aggregate y."@en ;
                          cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ExtendedRelationOntology"^^xsd:anyURI ;
                          rdfs:label "quality of aggregate"@en .
 
@@ -620,7 +620,7 @@ cco:role_of_aggregate rdf:type owl:ObjectProperty ;
                       rdfs:subPropertyOf cco:inheres_in_aggregate ;
                       rdfs:domain obo:BFO_0000023 ;
                       rdfs:range obo:BFO_0000027 ;
-                      cco:definition "x role_of_aggregate y iff y is an instance of Object Aggregate and x is an instance of Role, such that x inheres_in_aggregate y."@en ;
+                      cco:definition "x role_of_aggregate y iff y is an instance of Object Aggregate and x is an instance of Role, and x inheres_in_aggregate y."@en ;
                       cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ExtendedRelationOntology"^^xsd:anyURI ;
                       rdfs:label "role of aggregate"@en .
 
diff --git a/ModalRelationOntology.ttl b/ModalRelationOntology.ttl
index b076c73..644b891 100644
--- a/ModalRelationOntology.ttl
+++ b/ModalRelationOntology.ttl
@@ -883,7 +883,7 @@ mro:disposition_of_aggregate rdf:type owl:ObjectProperty ;
                              rdfs:subPropertyOf mro:inheres_in_aggregate ;
                              rdfs:domain obo:BFO_0000016 ;
                              rdfs:range obo:BFO_0000027 ;
-                             cco:definition "x disposition_of_aggregate y iff y is an instance of Object Aggregate and x is an instance of Disposition, such that x inheres_in_aggregate y."@en ;
+                             cco:definition "x disposition_of_aggregate y iff y is an instance of Object Aggregate and x is an instance of Disposition, and x inheres_in_aggregate y."@en ;
                              cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
                              rdfs:label "disposition of aggregate"@en .
 
@@ -2620,7 +2620,7 @@ mro:quality_of_aggregate rdf:type owl:ObjectProperty ;
                          rdfs:subPropertyOf mro:inheres_in_aggregate ;
                          rdfs:domain obo:BFO_0000019 ;
                          rdfs:range obo:BFO_0000027 ;
-                         cco:definition "x quality_of_aggregate y iff y is an instance of Object Aggregate and x is an instance of Quality, such that x inheres_in_aggregate y."@en ;
+                         cco:definition "x quality_of_aggregate y iff y is an instance of Object Aggregate and x is an instance of Quality, and x inheres_in_aggregate y."@en ;
                          cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
                          rdfs:label "quality of aggregate"@en .
 
@@ -2673,7 +2673,7 @@ mro:role_of_aggregate rdf:type owl:ObjectProperty ;
                       rdfs:subPropertyOf mro:inheres_in_aggregate ;
                       rdfs:domain obo:BFO_0000023 ;
                       rdfs:range obo:BFO_0000027 ;
-                      cco:definition "x role_of_aggregate y iff y is an instance of Object Aggregate and x is an instance of Role, such that x inheres_in_aggregate y."@en ;
+                      cco:definition "x role_of_aggregate y iff y is an instance of Object Aggregate and x is an instance of Role, and x inheres_in_aggregate y."@en ;
                       cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
                       rdfs:label "role of aggregate"@en .