Assertion list
grand mosque (subgroup of mosque ) → IsA
Results from Ascent++: 1
grand mosque → IsA → the largest mosque 0.68