Assertion list
wmd (primary) → AtLocation
Results from Ascent++: 1
wmd → AtLocation → iraq 0.43