Assertion list
american troop (subgroup of troop ) → AtLocation
Results from Ascent++: 1
american troop → AtLocation → iraq 0.16