Assertion list
electrical contractor (subgroup of contractor ) → HasA
Results from Ascent++: 1
electrical contractor → HasA → unique needs 0.68