Assertion list
base (aspect of pyramid ) → ReceivesAction
Results from Ascent++: 4
base → ReceivesAction → inclined at angle 0.43
base → ReceivesAction → carved with concave molding 0.31
base → ReceivesAction → carved with the corners of the … 0.31
base → ReceivesAction → completed 0.25