Assertion list
joint inventor (subgroup of inventor ) → HasA

Results from Ascent++: 1
joint inventorHasA written agreement 0.25