Assertion list
building contractor (subgroup of contractor ) → HasProperty
Results from Ascent++: 1
building contractor → HasProperty → unique 0.32