Dependence Meta-Properties
Our methodology currently uses only property dependence
A property f is dependent (+D) if:
_x f(x) _ _y j(y) _ ¨P(x,y) _ ¨C(x,y)
If there is at least one instance of the property that is not dependent, the property is not dependent (-D)
Also exclude qualities (i.e. Red), entities that necessarily exist (the universe), and subsumed properties.