Assertion list
major change (subgroup of change ) → AtLocation

Results from Ascent++: 1
major changeAtLocation relation 0.25