Assertion list
nose (primary) → AtLocation
Results from Ascent++: 3
nose → AtLocation → tune 0.28
nose → AtLocation → the building 0.25
nose → AtLocation → about 40% of swelling 0.16