( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (ILYR (ILYR (NP-SBJ;{P_DESTROY} (D;_nphd_ this;{this}))
                                       (VBP;_I_ happens;{happen}))
                                 (PUNC ,)
                                 (CONJP (CONJ and;{and})
                                        (ILYR (NP-SBJ;{PLAYER} (PRO you;{you}))
                                              (HVP;_cat_Ve_ have;{have})
                                              (NEG not;{not})
                                              (IP-PPL-CAT (VVN;_Tn_ collected;{collect})
                                                          (NP-OB1;{POD} (D the;{the})
                                                                        (N pod;{pod}))))))))
          (PUNC ,)
          (ADVP-NIM (ADV then;{then}))
          (NP-SBJ (D the;{the})
                  (N mission;{mission}))
          (HVP;_cat_Ve_ has;{have})
          (IP-PPL-CAT (VVN;_I_ failed;{fail}))
          (PUNC .))
  (ID 16_a_thrust))

arc(r_0016_0001__If,r_0016_0005__and,restriction).
arc(r_0016_0001__If,r_0016_0016__has,scope).
arc(r_0016_0003__happens,r_0016_0002__this,arg0).
arc(r_0016_0005__and,r_0016_0003__happens,conj1).
arc(r_0016_0005__and,r_0016_0008__not,conj2).
arc(r_0016_0007__have,r_0016_0009__collected,scope).
arc(r_0016_0008__not,r_0016_0007__have,keep_scope).
arc(r_0016_0009__collected,r_0016_0006__you,arg0).
arc(r_0016_0009__collected,r_0016_0010__the_r_0016_0011__pod,arg1).
arc(r_0016_0016__has,r_0016_0013__then,nim).
arc(r_0016_0016__has,r_0016_0017__failed,scope).
arc(r_0016_0017__failed,r_0016_0014__the_r_0016_0015__mission,arg0).

fof(formula,axiom,
    ! [R_0016_0005__AND,R_0016_0002__THIS,R_0016_0003__HAPPENS] :
      ( ( r_0016_0002__this(R_0016_0002__THIS)
        & r_0016_0005__and(R_0016_0005__AND)
        & has_conj2(R_0016_0005__AND,R_0016_0008__NOT)
        & ~ ? [R_0016_0006__YOU,R_0016_0010__THE_R_0016_0011__POD,R_0016_0007__HAVE_R_0016_0009__COLLECTED] :
              ( r_0016_0006__you(R_0016_0006__YOU)
              & r_0016_0010__the_r_0016_0011__pod(R_0016_0010__THE_R_0016_0011__POD)
              & r_0016_0007__have_r_0016_0009__collected(R_0016_0007__HAVE_R_0016_0009__COLLECTED)
              & has_arg1(R_0016_0007__HAVE_R_0016_0009__COLLECTED,R_0016_0010__THE_R_0016_0011__POD)
              & has_arg0(R_0016_0007__HAVE_R_0016_0009__COLLECTED,R_0016_0006__YOU) )
        & has_conj1(R_0016_0005__AND,R_0016_0003__HAPPENS)
        & r_0016_0003__happens(R_0016_0003__HAPPENS)
        & has_arg0(R_0016_0003__HAPPENS,R_0016_0002__THIS) )
     => ? [R_0016_0013__THEN,R_0016_0014__THE_R_0016_0015__MISSION,R_0016_0016__HAS_R_0016_0017__FAILED] :
          ( r_0016_0013__then(R_0016_0013__THEN)
          & r_0016_0014__the_r_0016_0015__mission(R_0016_0014__THE_R_0016_0015__MISSION)
          & r_0016_0016__has_r_0016_0017__failed(R_0016_0016__HAS_R_0016_0017__FAILED)
          & has_arg0(R_0016_0016__HAS_R_0016_0017__FAILED,R_0016_0014__THE_R_0016_0015__MISSION)
          & has_nim(R_0016_0016__HAS_R_0016_0017__FAILED,R_0016_0013__THEN) ) ) ).