Assertion list
main pyramid (subgroup of pyramid ) → HasProperty
Results from Ascent++: 1
main pyramid → HasProperty → open 0.25