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