Assertion list
military personnel (primary) → AtLocation
Results from Ascent++: 2
military personnel → AtLocation → barrack 0.25
military personnel → AtLocation → the state 0.25