Assertion list
conformity (primary) → HasA

Results from Ascent++: 1
conformityHasA inter alia 0.31