Assertion list
cog (primary) → HasProperty
Results from Ascent++: 3
cog → HasProperty → unique 0.65
cog → HasProperty → big 0.32
cog → HasProperty → fabulous 0.16