Assertion list
great synagogue (subgroup of synagogue ) → IsA
Results from Ascent++: 1
great synagogue → IsA → the largest synagogue 0.16