Assertion list
cog (primary) → HasA

Results from Ascent++: 1
cogHasA known function 0.25