Assertion list
square (primary) → DefinedAs
Results from Ascent++: 4
square → DefinedAs → red dot 0.34
square → DefinedAs → being cover 0.28
square → DefinedAs → having a single sidelength prop… 0.28
square → DefinedAs → cross 0.25