( (IP-MAT (NP-SBJ;{PLAYER} (PRO You;{you}))
          (HVP;_cat_Ve_ have;{have})
          (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                      (IP-PPL-CAT (VVN;_Dn.t_ commissioned;{commission})
                                  (PP-LGS (P-ROLE;_lgs_ by;{by})
                                          (NP;{RESISTANCE} (D the;{the})
                                                           (NPR Resistance;{resistance})))
                                  (IP-INF2-OB1 (TO to;{to})
                                               (VB;_Tn.pr_ steal;{steal[from]})
                                               (NP-OB1;{KLYSTON_PODS} (D these;{these})
                                                                      (NS pods;{pod}))
                                               (PP-CLR (P-ROLE from;{from})
                                                       (NP (NP-GEN (D the;{the})
                                                                   (NPR Empire;{Empire})
                                                                   (GENM <apos>s))
                                                           (N storage;{storage})
                                                           (NS panels;{panel}))))))
          (PUNC .))
  (ID 4_a_thrust))

arc(r_0004_0002__have,r_0004_0003__been,scope).
arc(r_0004_0003__been,r_0004_0004__commissioned,scope).
arc(r_0004_0004__commissioned,r_0004_0001__You,arg2).
arc(r_0004_0004__commissioned,r_0004_0006__the_r_0004_0007__Resistance,r_0004_0005__by_arg0).
arc(r_0004_0004__commissioned,r_0004_0009__steal_r_0004_0012__from,arg1).
arc(r_0004_0009__steal_r_0004_0012__from,r_0004_0001__You,arg0).
arc(r_0004_0009__steal_r_0004_0012__from,r_0004_0010__these_r_0004_0011__pods,arg1).
arc(r_0004_0009__steal_r_0004_0012__from,r_0004_0016__storage_r_0004_0017__panels,arg2).
arc(r_0004_0016__storage_r_0004_0017__panels,r_0004_0013__the_r_0004_0014__Empire,gen).

fof(formula,axiom,
    ? [R_0004_0001__YOU,R_0004_0006__THE_R_0004_0007__RESISTANCE,R_0004_0010__THESE_R_0004_0011__PODS,R_0004_0013__THE_R_0004_0014__EMPIRE,R_0004_0016__STORAGE_R_0004_0017__PANELS,R_0004_0009__STEAL_R_0004_0012__FROM,R_0004_0002__HAVE_R_0004_0003__BEEN_R_0004_0004__COMMISSIONED] :
      ( r_0004_0001__You(R_0004_0001__YOU)
      & r_0004_0006__the_r_0004_0007__Resistance(R_0004_0006__THE_R_0004_0007__RESISTANCE)
      & r_0004_0010__these_r_0004_0011__pods(R_0004_0010__THESE_R_0004_0011__PODS)
      & r_0004_0013__the_r_0004_0014__Empire(R_0004_0013__THE_R_0004_0014__EMPIRE)
      & r_0004_0002__have_r_0004_0003__been_r_0004_0004__commissioned(R_0004_0002__HAVE_R_0004_0003__BEEN_R_0004_0004__COMMISSIONED)
      & has_arg1(R_0004_0002__HAVE_R_0004_0003__BEEN_R_0004_0004__COMMISSIONED,R_0004_0009__STEAL_R_0004_0012__FROM)
      & r_0004_0009__steal_r_0004_0012__from(R_0004_0009__STEAL_R_0004_0012__FROM)
      & has_arg2(R_0004_0009__STEAL_R_0004_0012__FROM,R_0004_0016__STORAGE_R_0004_0017__PANELS)
      & r_0004_0016__storage_r_0004_0017__panels(R_0004_0016__STORAGE_R_0004_0017__PANELS)
      & has_gen(R_0004_0016__STORAGE_R_0004_0017__PANELS,R_0004_0013__THE_R_0004_0014__EMPIRE)
      & has_arg1(R_0004_0009__STEAL_R_0004_0012__FROM,R_0004_0010__THESE_R_0004_0011__PODS)
      & has_arg0(R_0004_0009__STEAL_R_0004_0012__FROM,R_0004_0001__YOU)
      & has_r_0004_0005__by_arg0(R_0004_0002__HAVE_R_0004_0003__BEEN_R_0004_0004__COMMISSIONED,R_0004_0006__THE_R_0004_0007__RESISTANCE)
      & has_arg2(R_0004_0002__HAVE_R_0004_0003__BEEN_R_0004_0004__COMMISSIONED,R_0004_0001__YOU) ) ).