Context                Previous, Next                Top


3_a_stick
The use of stick allows you to define your application by means of Obey files called <excl>Select, <excl>Adjust and <excl>Drag, which are triggered when these actions take place.

%3 r_0003_0001__The_r_0003_0002__use The use r_0003_0004__stick stick r_0003_0001__The_r_0003_0002__use->r_0003_0004__stick of r_0003_0005__allows allows r_0003_0005__allows->r_0003_0001__The_r_0003_0002__use [arg0] r_0003_0007__to_r_0003_0008__define to define r_0003_0005__allows->r_0003_0007__to_r_0003_0008__define [arg1] r_0003_0006__you you r_0003_0007__to_r_0003_0008__define->r_0003_0006__you [arg0] r_0003_0010__application application r_0003_0007__to_r_0003_0008__define->r_0003_0010__application [arg1] r_0003_0012__means means r_0003_0007__to_r_0003_0008__define->r_0003_0012__means by [nim] r_0003_0010__application->r_0003_0006__you [gen] r_0003_0014__Obey_r_0003_0015__files Obey files r_0003_0012__means->r_0003_0014__Obey_r_0003_0015__files of r_0003_0016__called called r_0003_0016__called->r_0003_0014__Obey_r_0003_0015__files [arg1] r_0003_0020__and and r_0003_0016__called->r_0003_0020__and [prd] z_000_3_a_stick_44 r_0003_0016__called->z_000_3_a_stick_44 [arg0] r_0003_0017___excl_Select !Select r_0003_0020__and->r_0003_0017___excl_Select [conj1] r_0003_0019___excl_Adjust !Adjust r_0003_0020__and->r_0003_0019___excl_Adjust [conj2] r_0003_0021___excl_Drag !Drag r_0003_0020__and->r_0003_0021___excl_Drag [conj3] r_0003_0024__are are r_0003_0025__triggered triggered r_0003_0024__are->r_0003_0025__triggered [scope] r_0003_0025__triggered->r_0003_0014__Obey_r_0003_0015__files [arg1] z_000_3_a_stick_74 r_0003_0025__triggered->z_000_3_a_stick_74 [arg0] r_0003_0026__when when r_0003_0026__when->r_0003_0024__are [scope] r_0003_0029__take take r_0003_0026__when->r_0003_0029__take [restriction] r_0003_0027__these_r_0003_0028__actions these actions r_0003_0029__take->r_0003_0027__these_r_0003_0028__actions [arg0] r_0003_0030__place place r_0003_0029__take->r_0003_0030__place [arg1] 
arc(r_0003_0001__The_r_0003_0002__use, r_0003_0004__stick, r_0003_0003__of).
arc(r_0003_0005__allows, r_0003_0001__The_r_0003_0002__use, arg0).
arc(r_0003_0005__allows, r_0003_0007__to_r_0003_0008__define, arg1).
arc(r_0003_0007__to_r_0003_0008__define, r_0003_0006__you, arg0).
arc(r_0003_0007__to_r_0003_0008__define, r_0003_0010__application, arg1).
arc(r_0003_0007__to_r_0003_0008__define, r_0003_0012__means, r_0003_0011__by_nim32).
arc(r_0003_0010__application, r_0003_0006__you, gen).
arc(r_0003_0012__means, r_0003_0014__Obey_r_0003_0015__files, r_0003_0013__of).
arc(r_0003_0016__called, r_0003_0014__Obey_r_0003_0015__files, arg1).
arc(r_0003_0016__called, r_0003_0020__and, prd).
arc(r_0003_0016__called, z_000_3_a_stick_44, arg0).
arc(r_0003_0020__and, r_0003_0017___excl_Select, conj1).
arc(r_0003_0020__and, r_0003_0019___excl_Adjust, conj2).
arc(r_0003_0020__and, r_0003_0021___excl_Drag, conj3).
arc(r_0003_0024__are, r_0003_0025__triggered, scope).
arc(r_0003_0025__triggered, r_0003_0014__Obey_r_0003_0015__files, arg1).
arc(r_0003_0025__triggered, z_000_3_a_stick_74, arg0).
arc(r_0003_0026__when, r_0003_0024__are, scope).
arc(r_0003_0026__when, r_0003_0029__take, restriction).
arc(r_0003_0029__take, r_0003_0027__these_r_0003_0028__actions, arg0).
arc(r_0003_0029__take, r_0003_0030__place, arg1).


%3 r_0003_0001__The_r_0003_0002__use The use r_0003_0004__stick stick r_0003_0001__The_r_0003_0002__use->r_0003_0004__stick of r_0003_0005__allows allows r_0003_0005__allows->r_0003_0001__The_r_0003_0002__use [arg0] r_0003_0007__to_r_0003_0008__define to define r_0003_0005__allows->r_0003_0007__to_r_0003_0008__define [arg1] r_0003_0006__you you r_0003_0007__to_r_0003_0008__define->r_0003_0006__you [arg0] r_0003_0010__application application r_0003_0007__to_r_0003_0008__define->r_0003_0010__application [arg1] r_0003_0012__means means r_0003_0007__to_r_0003_0008__define->r_0003_0012__means by [nim] r_0003_0010__application->r_0003_0006__you [gen] r_0003_0014__Obey_r_0003_0015__files Obey files r_0003_0012__means->r_0003_0014__Obey_r_0003_0015__files of r_0003_0016__called called r_0003_0016__called->r_0003_0014__Obey_r_0003_0015__files [arg1] r_0003_0020__and and r_0003_0016__called->r_0003_0020__and [prd] z_000_3_a_stick_44 r_0003_0016__called->z_000_3_a_stick_44 [arg0] r_0003_0017___excl_Select !Select r_0003_0020__and->r_0003_0017___excl_Select [conj1] r_0003_0019___excl_Adjust !Adjust r_0003_0020__and->r_0003_0019___excl_Adjust [conj2] r_0003_0021___excl_Drag !Drag r_0003_0020__and->r_0003_0021___excl_Drag [conj3] r_0003_0024__are_r_0003_0025__triggered are triggered r_0003_0024__are_r_0003_0025__triggered->r_0003_0014__Obey_r_0003_0015__files [arg1] z_000_3_a_stick_74 r_0003_0024__are_r_0003_0025__triggered->z_000_3_a_stick_74 [arg0] r_0003_0026__when when r_0003_0026__when->r_0003_0024__are_r_0003_0025__triggered [scope] r_0003_0029__take take r_0003_0026__when->r_0003_0029__take [restriction] r_0003_0027__these_r_0003_0028__actions these actions r_0003_0029__take->r_0003_0027__these_r_0003_0028__actions [arg0] r_0003_0030__place place r_0003_0029__take->r_0003_0030__place [arg1] 
fof(formula,axiom,
    ? [R_3_5_ALLOWS,R_3_1_THE_USE,R_3_4_STICK,R_3_7_TO_DEFINE,R_3_10_APPLICATION,R_3_6_YOU,R_3_12_MEANS,R_3_16_CALLED,Z_3_A_STICK_44,R_3_14_OBEY_FILES,R_3_20_AND,R_3_17__EXCL_SELECT,R_3_19__EXCL_ADJUST,R_3_21__EXCL_DRAG] :
      ( stick(R_3_4_STICK)
      & you(R_3_6_YOU)
      & obey_files(R_3_14_OBEY_FILES)
      & _excl_Select(R_3_17__EXCL_SELECT)
      & _excl_Adjust(R_3_19__EXCL_ADJUST)
      & _excl_Drag(R_3_21__EXCL_DRAG)
      & allows(R_3_5_ALLOWS,R_3_1_THE_USE,R_3_7_TO_DEFINE)
      & the_use(R_3_1_THE_USE)
      & of(R_3_1_THE_USE,R_3_4_STICK)
      & to_define(R_3_7_TO_DEFINE,R_3_6_YOU,R_3_10_APPLICATION)
      & application(R_3_10_APPLICATION)
      & gen(R_3_10_APPLICATION,R_3_6_YOU)
      & by_nim32(R_3_7_TO_DEFINE,R_3_12_MEANS)
      & means(R_3_12_MEANS)
      & of(R_3_12_MEANS,R_3_14_OBEY_FILES)
      & called(R_3_16_CALLED,Z_3_A_STICK_44,R_3_14_OBEY_FILES,R_3_20_AND)
      & and(R_3_20_AND)
      & conj1(R_3_20_AND,R_3_17__EXCL_SELECT)
      & conj2(R_3_20_AND,R_3_19__EXCL_ADJUST)
      & conj3(R_3_20_AND,R_3_21__EXCL_DRAG)
      & ! [R_3_29_TAKE,R_3_27_THESE_ACTIONS,R_3_30_PLACE] :
          ( ( these_actions(R_3_27_THESE_ACTIONS)
            & place(R_3_30_PLACE)
            & take(R_3_29_TAKE,R_3_27_THESE_ACTIONS,R_3_30_PLACE) )
         => ? [R_3_24_ARE_TRIGGERED,Z_3_A_STICK_74] : are_triggered(R_3_24_ARE_TRIGGERED,Z_3_A_STICK_74,R_3_14_OBEY_FILES) ) ) ).


n3_a_stick n3_a_stick_4 The n3_a_stick_6 use n3_a_stick_9 of n3_a_stick_12 stick n3_a_stick_14 allows n3_a_stick_17 you n3_a_stick_20 to n3_a_stick_22 define n3_a_stick_26 your n3_a_stick_28 application n3_a_stick_31 by n3_a_stick_34 means n3_a_stick_37 of n3_a_stick_40 Obey n3_a_stick_42 files n3_a_stick_45 * n3_a_stick_47 called n3_a_stick_52 <excl>Select n3_a_stick_54 , n3_a_stick_58 <excl>Adjust n3_a_stick_61 and n3_a_stick_64 <excl>Drag n3_a_stick_66 , n3_a_stick_70 which n3_a_stick_72 are n3_a_stick_75 * n3_a_stick_77 triggered n3_a_stick_80 when n3_a_stick_84 these n3_a_stick_86 actions n3_a_stick_88 take n3_a_stick_91 place n3_a_stick_93 . n3_a_stick_1 IP-MAT n3_a_stick_2 NP-SBJ n3_a_stick_1->n3_a_stick_2 n3_a_stick_13 VBP;_Tnt_ n3_a_stick_1->n3_a_stick_13 n3_a_stick_15 NP-DOB1 n3_a_stick_1->n3_a_stick_15 n3_a_stick_18 IP-INF-OB1 n3_a_stick_1->n3_a_stick_18 n3_a_stick_92 PUNC n3_a_stick_1->n3_a_stick_92 n3_a_stick_3 D n3_a_stick_2->n3_a_stick_3 n3_a_stick_5 N n3_a_stick_2->n3_a_stick_5 n3_a_stick_7 PP n3_a_stick_2->n3_a_stick_7 n3_a_stick_3->n3_a_stick_4 n3_a_stick_5->n3_a_stick_6 n3_a_stick_8 P-ROLE n3_a_stick_7->n3_a_stick_8 n3_a_stick_10 NP n3_a_stick_7->n3_a_stick_10 n3_a_stick_8->n3_a_stick_9 n3_a_stick_11 NPR n3_a_stick_10->n3_a_stick_11 n3_a_stick_11->n3_a_stick_12 n3_a_stick_13->n3_a_stick_14 n3_a_stick_16 PRO n3_a_stick_15->n3_a_stick_16 n3_a_stick_16->n3_a_stick_17 n3_a_stick_19 TO n3_a_stick_18->n3_a_stick_19 n3_a_stick_21 VB;_Tn_ n3_a_stick_18->n3_a_stick_21 n3_a_stick_23 NP-OB1 n3_a_stick_18->n3_a_stick_23 n3_a_stick_29 PP-NIM n3_a_stick_18->n3_a_stick_29 n3_a_stick_19->n3_a_stick_20 n3_a_stick_21->n3_a_stick_22 n3_a_stick_24 NP-GEN n3_a_stick_23->n3_a_stick_24 n3_a_stick_27 N n3_a_stick_23->n3_a_stick_27 n3_a_stick_25 PRO;_genm_ n3_a_stick_24->n3_a_stick_25 n3_a_stick_25->n3_a_stick_26 n3_a_stick_27->n3_a_stick_28 n3_a_stick_30 P-ROLE n3_a_stick_29->n3_a_stick_30 n3_a_stick_32 NP n3_a_stick_29->n3_a_stick_32 n3_a_stick_30->n3_a_stick_31 n3_a_stick_33 NS n3_a_stick_32->n3_a_stick_33 n3_a_stick_35 PP n3_a_stick_32->n3_a_stick_35 n3_a_stick_33->n3_a_stick_34 n3_a_stick_36 P-ROLE n3_a_stick_35->n3_a_stick_36 n3_a_stick_38 NP n3_a_stick_35->n3_a_stick_38 n3_a_stick_36->n3_a_stick_37 n3_a_stick_39 NPR n3_a_stick_38->n3_a_stick_39 n3_a_stick_41 NS n3_a_stick_38->n3_a_stick_41 n3_a_stick_43 IP-PPL n3_a_stick_38->n3_a_stick_43 n3_a_stick_65 PUNC n3_a_stick_38->n3_a_stick_65 n3_a_stick_67 IP-REL n3_a_stick_38->n3_a_stick_67 n3_a_stick_39->n3_a_stick_40 n3_a_stick_41->n3_a_stick_42 n3_a_stick_44 NP-LGS n3_a_stick_43->n3_a_stick_44 n3_a_stick_46 VVN;_Cn.n_ n3_a_stick_43->n3_a_stick_46 n3_a_stick_48 NP-PRD n3_a_stick_43->n3_a_stick_48 n3_a_stick_44->n3_a_stick_45 n3_a_stick_46->n3_a_stick_47 n3_a_stick_49 NLYR n3_a_stick_48->n3_a_stick_49 n3_a_stick_50 NLYR n3_a_stick_49->n3_a_stick_50 n3_a_stick_53 PUNC n3_a_stick_49->n3_a_stick_53 n3_a_stick_55 CONJP n3_a_stick_49->n3_a_stick_55 n3_a_stick_59 CONJP n3_a_stick_49->n3_a_stick_59 n3_a_stick_51 NPR n3_a_stick_50->n3_a_stick_51 n3_a_stick_51->n3_a_stick_52 n3_a_stick_53->n3_a_stick_54 n3_a_stick_56 NLYR n3_a_stick_55->n3_a_stick_56 n3_a_stick_57 NPR n3_a_stick_56->n3_a_stick_57 n3_a_stick_57->n3_a_stick_58 n3_a_stick_60 CONJ n3_a_stick_59->n3_a_stick_60 n3_a_stick_62 NLYR n3_a_stick_59->n3_a_stick_62 n3_a_stick_60->n3_a_stick_61 n3_a_stick_63 NPR n3_a_stick_62->n3_a_stick_63 n3_a_stick_63->n3_a_stick_64 n3_a_stick_65->n3_a_stick_66 n3_a_stick_68 NP-SBJ n3_a_stick_67->n3_a_stick_68 n3_a_stick_71 BEP;_cat_VePASS_ n3_a_stick_67->n3_a_stick_71 n3_a_stick_73 IP-PPL-CAT n3_a_stick_67->n3_a_stick_73 n3_a_stick_78 PP-SCON n3_a_stick_67->n3_a_stick_78 n3_a_stick_69 RPRO n3_a_stick_68->n3_a_stick_69 n3_a_stick_69->n3_a_stick_70 n3_a_stick_71->n3_a_stick_72 n3_a_stick_74 NP-LGS n3_a_stick_73->n3_a_stick_74 n3_a_stick_76 VVN;_Tn_ n3_a_stick_73->n3_a_stick_76 n3_a_stick_74->n3_a_stick_75 n3_a_stick_76->n3_a_stick_77 n3_a_stick_79 P-CONN n3_a_stick_78->n3_a_stick_79 n3_a_stick_81 IP-ADV n3_a_stick_78->n3_a_stick_81 n3_a_stick_79->n3_a_stick_80 n3_a_stick_82 NP-SBJ n3_a_stick_81->n3_a_stick_82 n3_a_stick_87 VBP;_Tn_ n3_a_stick_81->n3_a_stick_87 n3_a_stick_89 NP-OB1 n3_a_stick_81->n3_a_stick_89 n3_a_stick_83 D n3_a_stick_82->n3_a_stick_83 n3_a_stick_85 NS n3_a_stick_82->n3_a_stick_85 n3_a_stick_83->n3_a_stick_84 n3_a_stick_85->n3_a_stick_86 n3_a_stick_87->n3_a_stick_88 n3_a_stick_90 N n3_a_stick_89->n3_a_stick_90 n3_a_stick_90->n3_a_stick_91 n3_a_stick_92->n3_a_stick_93 
( (IP-MAT (NP-SBJ (D The;{the})
                  (N use;{use})
                  (PP (P-ROLE of;{of})
                      (NP;{STICK} (NPR stick;{stick}))))
          (VBP;_Tnt_ allows;{allow})
          (NP-DOB1 (PRO you;{you}))
          (IP-INF-OB1 (TO to;{to})
                      (VB;_Tn_ define;{define})
                      (NP-OB1 (NP-GEN (PRO;_genm_ your;{your}))
                              (N application;{application}))
                      (PP-NIM (P-ROLE by;{by})
                              (NP (NS means;{mean})
                                  (PP (P-ROLE of;{of})
                                      (NP;{OBEY_FILES} (NPR Obey;{Obey})
                                                       (NS files;{file})
                                                       (IP-PPL (NP-LGS *)
                                                               (VVN;_Cn.n_ called;{call})
                                                               (NP-PRD;{ACTIONS} (NLYR (NLYR (NPR <excl>Select))
                                                                                       (PUNC ,)
                                                                                       (CONJP (NLYR (NPR <excl>Adjust)))
                                                                                       (CONJP (CONJ and;{and})
                                                                                              (NLYR (NPR <excl>Drag))))))
                                                       (PUNC ,)
                                                       (IP-REL (NP-SBJ (RPRO which;{which}))
                                                               (BEP;_cat_VePASS_ are;{be})
                                                               (IP-PPL-CAT (NP-LGS *)
                                                                           (VVN;_Tn_ triggered;{trigger}))
                                                               (PP-SCON (P-CONN when;{when})
                                                                        (IP-ADV (NP-SBJ;{ACTIONS} (D these;{these})
                                                                                                  (NS actions;{action}))
                                                                                (VBP;_Tn_ take;{take})
                                                                                (NP-OB1 (N place;{place}))))))))))
          (PUNC .))
  (ID 3_a_stick))