Assertion list
egyptian pyramid (subgroup of pyramid ) → IsA
Results from Ascent++: 2
egyptian pyramid → IsA → tomb 0.51
egyptian pyramid → IsA → the pyramid of khufu 0.16