Assertion list
side (aspect of pyramid ) → HasProperty
Results from Ascent++: 5
side → HasProperty → equal 0.59
side → HasProperty → flat 0.41
side → HasProperty → smooth 0.41
side → HasProperty → square 0.41
side → HasProperty → steep 0.16