Assertion list
clock tower (primary) → HasProperty
Results from Ascent++: 3
clock tower → HasProperty → visible 0.48
clock tower → HasProperty → open 0.42
clock tower → HasProperty → operational 0.25