6_a_stick
You can download as an example the application taskW which runs in a taskwindow an executable that is dragged to it.
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_0006_0001__YOU,R_0006_0005__AN_R_0006_0006__EXAMPLE,R_0006_0007__THE_R_0006_0008__APPLICATION,R_0006_0002__CAN_R_0006_0003__DOWNLOAD,R_0006_0013__A_R_0006_0014__TASKWINDOW,R_0006_0015__AN_R_0006_0016__EXECUTABLE,R_0006_0011__RUNS,Z_000_6_A_STICK_54,R_0006_0017__THAT_R_0006_0018__IS_R_0006_0019__DRAGGED,R_0006_0009__TASKW,Z_000_6_A_STICK_23] :
( r_0006_0001__You(R_0006_0001__YOU)
& r_0006_0005__an_r_0006_0006__example(R_0006_0005__AN_R_0006_0006__EXAMPLE)
& r_0006_0007__the_r_0006_0008__application(R_0006_0007__THE_R_0006_0008__APPLICATION)
& r_0006_0009__taskW(R_0006_0009__TASKW)
& r_0006_0013__a_r_0006_0014__taskwindow(R_0006_0013__A_R_0006_0014__TASKWINDOW)
& r_0006_0015__an_r_0006_0016__executable(R_0006_0015__AN_R_0006_0016__EXECUTABLE)
& z_000_6_a_stick_54(Z_000_6_A_STICK_54)
& z_000_6_a_stick_23(Z_000_6_A_STICK_23)
& has_prd(Z_000_6_A_STICK_23,R_0006_0009__TASKW)
& has_arg0(Z_000_6_A_STICK_23,R_0006_0007__THE_R_0006_0008__APPLICATION)
& r_0006_0017__that_r_0006_0018__is_r_0006_0019__dragged(R_0006_0017__THAT_R_0006_0018__IS_R_0006_0019__DRAGGED)
& has_arg0(R_0006_0017__THAT_R_0006_0018__IS_R_0006_0019__DRAGGED,Z_000_6_A_STICK_54)
& has_arg1(R_0006_0017__THAT_R_0006_0018__IS_R_0006_0019__DRAGGED,R_0006_0015__AN_R_0006_0016__EXECUTABLE)
& has_r_0006_0020__to_nim61(R_0006_0017__THAT_R_0006_0018__IS_R_0006_0019__DRAGGED,R_0006_0007__THE_R_0006_0008__APPLICATION)
& r_0006_0011__runs(R_0006_0011__RUNS)
& has_arg1(R_0006_0011__RUNS,R_0006_0015__AN_R_0006_0016__EXECUTABLE)
& has_r_0006_0012__in_nim36(R_0006_0011__RUNS,R_0006_0013__A_R_0006_0014__TASKWINDOW)
& has_arg0(R_0006_0011__RUNS,R_0006_0007__THE_R_0006_0008__APPLICATION)
& r_0006_0002__can_r_0006_0003__download(R_0006_0002__CAN_R_0006_0003__DOWNLOAD)
& has_arg1(R_0006_0002__CAN_R_0006_0003__DOWNLOAD,R_0006_0007__THE_R_0006_0008__APPLICATION)
& has_r_0006_0004__as_nim13(R_0006_0002__CAN_R_0006_0003__DOWNLOAD,R_0006_0005__AN_R_0006_0006__EXAMPLE)
& has_arg0(R_0006_0002__CAN_R_0006_0003__DOWNLOAD,R_0006_0001__YOU) ) ).
( (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))