Assertion list
edge (aspect of prism ) → HasProperty
Results from Ascent++: 1
edge → HasProperty → parallel 0.68