Assertion list
pyramid (primary) → IsA
Results from Ascent++: 3
pyramid → IsA → monument 0.42
pyramid → IsA → burial monuments 0.37
pyramid → IsA → polyhedron 0.36