Assertion list
major subcontract (subgroup of subcontract ) → IsA
Results from Ascent++: 1
major subcontract → IsA → subcontract 0.68