Assertion list
construction (aspect of pyramid ) → HasProperty
Results from Ascent++: 2
construction → HasProperty → unknown 0.25
construction → HasProperty → simple 0.16