Assertion list
contrivance (primary) → HasA

Results from Ascent++: 1
contrivanceHasA contriver 0.43