Assertion list
base (aspect of pyramid ) → HasA
Results from Ascent++: 1
base → HasA → side 0.36