arc(r_0006_0002__can, r_0006_0003__download, scope).
arc(r_0006_0003__download, r_0006_0001__You, arg0).
arc(r_0006_0003__download, r_0006_0005__an_r_0006_0006__example, r_0006_0004__as_nim13).
arc(r_0006_0003__download, r_0006_0007__the_r_0006_0008__application, arg1).
arc(r_0006_0011__runs, r_0006_0007__the_r_0006_0008__application, arg0).
arc(r_0006_0011__runs, r_0006_0013__a_r_0006_0014__taskwindow, r_0006_0012__in_nim36).
arc(r_0006_0011__runs, r_0006_0015__an_r_0006_0016__executable, arg1).
arc(r_0006_0017__that_r_0006_0018__is, r_0006_0019__dragged, scope).
arc(r_0006_0019__dragged, r_0006_0007__the_r_0006_0008__application, r_0006_0020__to_nim61).
arc(r_0006_0019__dragged, r_0006_0015__an_r_0006_0016__executable, arg1).
arc(r_0006_0019__dragged, z_000_6_a_stick_54, arg0).
arc(z_000_6_a_stick_23, r_0006_0007__the_r_0006_0008__application, arg0).
arc(z_000_6_a_stick_23, r_0006_0009__taskW, prd).

fof(formula,axiom,
    ? [R_6_2_CAN_DOWNLOAD,R_6_1_YOU,R_6_5_AN_EXAMPLE,R_6_11_RUNS,R_6_13_A_TASKWINDOW,R_6_17_THAT_IS_DRAGGED,Z_6_A_STICK_54,R_6_15_AN_EXECUTABLE,Z_6_A_STICK_23,R_6_7_THE_APPLICATION,R_6_9_TASKW] :
      ( you(R_6_1_YOU)
      & an_example(R_6_5_AN_EXAMPLE)
      & a_taskwindow(R_6_13_A_TASKWINDOW)
      & an_executable(R_6_15_AN_EXECUTABLE)
      & the_application(R_6_7_THE_APPLICATION)
      & taskW(R_6_9_TASKW)
      & can_download(R_6_2_CAN_DOWNLOAD,R_6_1_YOU,R_6_7_THE_APPLICATION)
      & as_nim13(R_6_2_CAN_DOWNLOAD,R_6_5_AN_EXAMPLE)
      & runs(R_6_11_RUNS,R_6_7_THE_APPLICATION,R_6_15_AN_EXECUTABLE)
      & in_nim36(R_6_11_RUNS,R_6_13_A_TASKWINDOW)
      & that_is_dragged(R_6_17_THAT_IS_DRAGGED,Z_6_A_STICK_54,R_6_15_AN_EXECUTABLE)
      & to_nim61(R_6_17_THAT_IS_DRAGGED,R_6_7_THE_APPLICATION)
      & z_6_a_stick_23(Z_6_A_STICK_23,R_6_7_THE_APPLICATION,R_6_9_TASKW) ) ).

( (IP-MAT (NP-SBJ (PRO You;{you}))
          (MD;_cat_Vi_ can;{can})
          (IP-INF-CAT (VB;_Tn_ download;{download})
                      (PP-NIM (P-ROLE as;{as})
                              (NP (D an;{an})
                                  (N example;{example})))
                      (NP-OB1;{TASKW} (D the;{the})
                                      (N application;{application})
                                      (IP-PPL (NP-PRD (NPR taskW;{taskW})))
                                      (IP-REL (NP-SBJ (RPRO which;{which}))
                                              (VBP;_Tn.pr_ runs;{run})
                                              (PP-NIM (P-ROLE in;{in})
                                                      (NP (D a;{a})
                                                          (N taskwindow;{taskwindow})))
                                              (NP-OB1 (D an;{an})
                                                      (N executable;{executable})
                                                      (IP-REL (C that;{that})
                                                              (NP-SBJ *T*)
                                                              (BEP;_cat_VePASS_ is;{be})
                                                              (IP-PPL-CAT (NP-LGS *)
                                                                          (VVN;_Tn.pr_ dragged;{drag})
                                                                          (PP-NIM (P-ROLE to;{to})
                                                                                  (NP;{TASKW} (PRO it;{it})))))))))
          (PUNC .))
  (ID 6_a_stick))