Assertion list
discussion (primary) → DefinedAs
Results from Ascent++: 2
discussion → DefinedAs → understanding 0.34
discussion → DefinedAs → attempt 0.33