Assertion list
edge (aspect of tetrahedron ) → HasProperty

Results from Ascent++: 1
edgeHasProperty perpendicular 0.68