Assertion list
egyptian pyramid (subgroup of pyramid ) → AtLocation
Results from Ascent++: 1
egyptian pyramid → AtLocation → egypt 0.31