Assertion list
intuition (primary) → DefinedAs
Results from Ascent++: 1
intuition → DefinedAs → understanding 0.32