Assertion list
guess (primary) → HasA
Results from Ascent++: 1
guess → HasA → licensee 0.28