Assertion list
square pyramid (subgroup of pyramid ) → IsA
Results from Ascent++: 1
square pyramid → IsA → common version 0.68