Assertion list
base (aspect of prism ) → HasProperty
Results from Ascent++: 1
base → HasProperty → square 0.49