Assertion list
nit (primary) → AtLocation

Results from Ascent++: 1
nitAtLocation preliminary discussions 0.25