 Since the conjunction and conjunction and disjunction of any two properties count as partially definable out of each of those properties and partial definability is transitive,  (D)  implies that every \(n\)-ary property is partially definable from every other: being \(F\) is partly definable from being \(F\) and \(G\), which is in turn partly definable from being \(G\). This makes (1) inconsistent; makes (2) imply that no property is perfectly natural; makes (3) and (6) imply that every property is perfectly natural; makes (4) and (5) vacuously true; makes (7) imply that all properties are equally natural; and makes (8) imply that every property is perfectly natural if any are.