Assertion list
face (aspect of pyramid ) → HasProperty
Results from Ascent++: 2
face → HasProperty → flat 0.52
face → HasProperty → concave 0.45