Assertion list
contemplation (primary) → HasA
Results from Ascent++: 1
contemplation → HasA → incomparable model 0.46