Assertion list
shutter (primary) → AtLocation
Results from Ascent++: 1
shutter → AtLocation → accordance 0.27