Assertion list
porch (primary) → HasSubevent
Results from Ascent++: 1
porch → HasSubevent → the lower-level foyer 0.25