Assertion list for term "one-".
Results from Ascent++: 1
property (aspect of homeowner) → HasProperty → one- 0.25