Assertion list
assertion (primary) → AtLocation

Results from Ascent++: 1
assertionAtLocation the substitution group 0.41