Assertion list
amphitheatre (primary) → HasProperty
Results from Ascent++: 3
amphitheatre → HasProperty → open 0.53
amphitheatre → HasProperty → the largest 0.27
amphitheatre → HasProperty → popular 0.16