Assertion list
curve (primary) → DefinedAs
Results from Ascent++: 1
curve → DefinedAs → curves of the second degree 0.25