Assertion list
diagonal (aspect of parallelogram ) → CapableOf
Results from Ascent++: 2
diagonal → CapableOf → bisect each other 0.68
diagonal → CapableOf → cut the quadrilateral 0.25