Some of the stolen trade secrets were seized from the defendants at the San Francisco International Airport (SFO) while they were attempting to fly to China.
The trade secrets would have gone to China if they were not seized. 
Even if they eventually went somewhere else its true to say they would have gone to China as the defendents were about to board a plane to China. The system could not put 2 and 2 together that if they were about to board a plane to China it means they wanted to go there. 
( z1 go :ARG1 ( z2 secret :mod ( z3 trade ) ) :ARG2 ( z4 country :name ( z5 name :op "China" ) ) :condition ( z6 seize :polarity - :ARG1 z2 ) )