Assertion list
parallelogram (primary) → HasProperty
Results from Ascent++: 2
parallelogram → HasProperty → equal 0.80
parallelogram → HasProperty → parallel 0.53