Assertion list
cmv (primary) → AtLocation
Results from Ascent++: 2
cmv → AtLocation → a person’s body 0.33
cmv → AtLocation → right lane 0.25