Assertion list
grand mosque (subgroup of mosque ) → HasProperty

Results from Ascent++: 1
grand mosqueHasProperty open 0.25