Assertion list
area (aspect of parallelogram ) → CapableOf
Results from Ascent++: 1
area → CapableOf → painted in colour 0.25