Assertion list
face (aspect of prism ) → HasProperty
Results from Ascent++: 2
face → HasProperty → flat 0.41
face → HasProperty → equal 0.25