Assertion list
watch (primary) → AtLocation
Results from Ascent++: 2
watch → AtLocation → effect 0.51
watch → AtLocation → development 0.35