Assertion list
base (aspect of pyramid ) → HasProperty
Results from Ascent++: 5
base → HasProperty → square 0.84
base → HasProperty → quadrilateral 0.67
base → HasProperty → trilateral 0.67
base → HasProperty → flat 0.60
base → HasProperty → rounded 0.31