I don't disagree with that. I certainly don't disagree that we ought to get our troops home from places like the Balkans as soon as we can, as soon as the mission is complete. That's what we did in Haiti. There are no more than a handful of American military personnel in Haiti now.
A mission was successful in Haiti.
The text says the mission in Haiti was completed and the troops withdrawn. I don't think that necessarily means the mission was a success. The model thinks 'completed' means successful [if that's the case, I was successful at my advanced physics test - NOT]
( z1 succeed :ARG1 ( z2 mission ) :location ( z3 country :name ( z4 name :op "Haiti" ) ) )