Assertion list
embodiment (primary) → AtLocation
Results from Ascent++: 2
embodiment → AtLocation → accordance 0.54
embodiment → AtLocation → loadedposition 0.25