Assertion list
corner (primary) → IsA
Results from Ascent++: 3
corner → IsA → the point of beginning 0.37
corner → IsA → area 0.33
corner → IsA → the dining area 0.16