Problems with definitions for subproperties of inheres in aggregate

[gregfowlerphd]

The final clause of all three definitions is the same: ‘such that x disposition_of_aggregate y’. In the case of disposition of aggregate, this makes the definition clearly circular. In the case of the other two subproperties, it makes no sense given the domains specified for those subproperties vs. that specified for disposition of aggregate.

I believe that in all three definitions, ‘disposition_of_aggregate’ should be replaced with ‘inheres_in_aggregate’.