TSPC 12_a

12_a_stick
I realize that it would have been easier for you had I brought out a version of stick that used MessageTrans to provide the menu items from a text file, but it would have meant more code in stick to create the menu, and I am lazy.

arc(r_0012_0002__realize, r_0012_0001__I, arg0).
arc(r_0012_0002__realize, z_000_12_a_stick_33, arg1).
arc(r_0012_0003__that_r_0012_0005__would, r_0012_0006__have, scope).
arc(r_0012_0006__have, r_0012_0007__been, scope).
arc(r_0012_0007__been, r_0012_0008__easier, prd).
arc(r_0012_0007__been, r_0012_0010__you, r_0012_0009__for_nim30).
arc(r_0012_0011__had, r_0012_0013__brought_r_0012_0014__out, scope).
arc(r_0012_0013__brought_r_0012_0014__out, r_0012_0001__I, arg0).
arc(r_0012_0013__brought_r_0012_0014__out, r_0012_0015__a_r_0012_0016__version, arg1).
arc(r_0012_0015__a_r_0012_0016__version, r_0012_0018__stick, r_0012_0017__of).
arc(r_0012_0019__that_r_0012_0020__used, r_0012_0015__a_r_0012_0016__version, arg0).
arc(r_0012_0019__that_r_0012_0020__used, r_0012_0021__MessageTrans, arg1).
arc(r_0012_0019__that_r_0012_0020__used, r_0012_0022__to_r_0012_0023__provide, prd).
arc(r_0012_0022__to_r_0012_0023__provide, r_0012_0024__the_r_0012_0025__menu_r_0012_0026__items, arg1).
arc(r_0012_0022__to_r_0012_0023__provide, r_0012_0028__a_r_0012_0029__text_r_0012_0030__file, r_0012_0027__from_nim81).
arc(r_0012_0022__to_r_0012_0023__provide, x_000_12_a_stick_66, arg0).
arc(r_0012_0032__but, r_0012_0002__realize, conj1).
arc(r_0012_0032__but, r_0012_0046__and, conj2).
arc(r_0012_0034__would, r_0012_0035__have, scope).
arc(r_0012_0035__have, r_0012_0036__meant, scope).
arc(r_0012_0036__meant, r_0012_0038__code, arg1).
arc(r_0012_0036__meant, z_000_12_a_stick_96, arg0).
arc(r_0012_0038__code, r_0012_0037__more, attrib108).
arc(r_0012_0038__code, r_0012_0040__stick, r_0012_0039__in).
arc(r_0012_0041__to_r_0012_0042__create, r_0012_0043__the_r_0012_0044__menu, arg1).
arc(r_0012_0041__to_r_0012_0042__create, z_000_12_a_stick_96, arg0).
arc(r_0012_0046__and, r_0012_0034__would, conj1).
arc(r_0012_0046__and, r_0012_0048__am, conj2).
arc(r_0012_0048__am, r_0012_0001__I, arg0).
arc(r_0012_0048__am, r_0012_0049__lazy, prd).
arc(z_000_12_a_stick_33, r_0012_0003__that_r_0012_0005__would, scope).
arc(z_000_12_a_stick_33, r_0012_0011__had, restriction).

fof(formula,axiom,
    ? [R_0012_0018__STICK,R_0012_0015__A_R_0012_0016__VERSION,R_0012_0021__MESSAGETRANS,R_0012_0024__THE_R_0012_0025__MENU_R_0012_0026__ITEMS,R_0012_0028__A_R_0012_0029__TEXT_R_0012_0030__FILE,X_000_12_A_STICK_66,R_0012_0022__TO_R_0012_0023__PROVIDE,R_0012_0019__THAT_R_0012_0020__USED,R_0012_0001__I,R_0012_0008__EASIER,R_0012_0010__YOU,R_0012_0003__THAT_R_0012_0005__WOULD_R_0012_0006__HAVE_R_0012_0007__BEEN,R_0012_0011__HAD_R_0012_0013__BROUGHT_R_0012_0014__OUT,Z_000_12_A_STICK_33,R_0012_0002__REALIZE,R_0012_0037__MORE,R_0012_0040__STICK,R_0012_0038__CODE,Z_000_12_A_STICK_96,R_0012_0034__WOULD_R_0012_0035__HAVE_R_0012_0036__MEANT,R_0012_0049__LAZY,R_0012_0048__AM,R_0012_0046__AND,R_0012_0032__BUT,R_0012_0043__THE_R_0012_0044__MENU,R_0012_0041__TO_R_0012_0042__CREATE] :
      ( r_0012_0001__I(R_0012_0001__I)
      & r_0012_0008__easier(R_0012_0008__EASIER)
      & r_0012_0010__you(R_0012_0010__YOU)
      & r_0012_0018__stick(R_0012_0018__STICK)
      & r_0012_0021__MessageTrans(R_0012_0021__MESSAGETRANS)
      & r_0012_0024__the_r_0012_0025__menu_r_0012_0026__items(R_0012_0024__THE_R_0012_0025__MENU_R_0012_0026__ITEMS)
      & r_0012_0028__a_r_0012_0029__text_r_0012_0030__file(R_0012_0028__A_R_0012_0029__TEXT_R_0012_0030__FILE)
      & r_0012_0037__more(R_0012_0037__MORE)
      & r_0012_0040__stick(R_0012_0040__STICK)
      & r_0012_0043__the_r_0012_0044__menu(R_0012_0043__THE_R_0012_0044__MENU)
      & r_0012_0049__lazy(R_0012_0049__LAZY)
      & x_000_12_a_stick_66(X_000_12_A_STICK_66)
      & z_000_12_a_stick_96(Z_000_12_A_STICK_96)
      & r_0012_0041__to_r_0012_0042__create(R_0012_0041__TO_R_0012_0042__CREATE)
      & has_arg0(R_0012_0041__TO_R_0012_0042__CREATE,Z_000_12_A_STICK_96)
      & has_arg1(R_0012_0041__TO_R_0012_0042__CREATE,R_0012_0043__THE_R_0012_0044__MENU)
      & r_0012_0032__but(R_0012_0032__BUT)
      & has_conj2(R_0012_0032__BUT,R_0012_0046__AND)
      & r_0012_0046__and(R_0012_0046__AND)
      & has_conj2(R_0012_0046__AND,R_0012_0048__AM)
      & r_0012_0048__am(R_0012_0048__AM)
      & has_prd(R_0012_0048__AM,R_0012_0049__LAZY)
      & has_arg0(R_0012_0048__AM,R_0012_0001__I)
      & has_conj1(R_0012_0046__AND,R_0012_0034__WOULD_R_0012_0035__HAVE_R_0012_0036__MEANT)
      & r_0012_0034__would_r_0012_0035__have_r_0012_0036__meant(R_0012_0034__WOULD_R_0012_0035__HAVE_R_0012_0036__MEANT)
      & has_arg0(R_0012_0034__WOULD_R_0012_0035__HAVE_R_0012_0036__MEANT,Z_000_12_A_STICK_96)
      & has_arg1(R_0012_0034__WOULD_R_0012_0035__HAVE_R_0012_0036__MEANT,R_0012_0038__CODE)
      & r_0012_0038__code(R_0012_0038__CODE)
      & has_r_0012_0039__in(R_0012_0038__CODE,R_0012_0040__STICK)
      & has_attrib108(R_0012_0038__CODE,R_0012_0037__MORE)
      & has_conj1(R_0012_0032__BUT,R_0012_0002__REALIZE)
      & r_0012_0002__realize(R_0012_0002__REALIZE)
      & has_arg1(R_0012_0002__REALIZE,Z_000_12_A_STICK_33)
      & z_000_12_a_stick_33(Z_000_12_A_STICK_33)
      & has_conj1(Z_000_12_A_STICK_33,R_0012_0011__HAD_R_0012_0013__BROUGHT_R_0012_0014__OUT)
      & r_0012_0011__had_r_0012_0013__brought_r_0012_0014__out(R_0012_0011__HAD_R_0012_0013__BROUGHT_R_0012_0014__OUT)
      & has_arg1(R_0012_0011__HAD_R_0012_0013__BROUGHT_R_0012_0014__OUT,R_0012_0015__A_R_0012_0016__VERSION)
      & r_0012_0015__a_r_0012_0016__version(R_0012_0015__A_R_0012_0016__VERSION)
      & has_r_0012_0017__of(R_0012_0015__A_R_0012_0016__VERSION,R_0012_0018__STICK)
      & has_arg0(R_0012_0011__HAD_R_0012_0013__BROUGHT_R_0012_0014__OUT,R_0012_0001__I)
      & has_conj2(Z_000_12_A_STICK_33,R_0012_0003__THAT_R_0012_0005__WOULD_R_0012_0006__HAVE_R_0012_0007__BEEN)
      & r_0012_0003__that_r_0012_0005__would_r_0012_0006__have_r_0012_0007__been(R_0012_0003__THAT_R_0012_0005__WOULD_R_0012_0006__HAVE_R_0012_0007__BEEN)
      & has_r_0012_0009__for_nim30(R_0012_0003__THAT_R_0012_0005__WOULD_R_0012_0006__HAVE_R_0012_0007__BEEN,R_0012_0010__YOU)
      & has_prd(R_0012_0003__THAT_R_0012_0005__WOULD_R_0012_0006__HAVE_R_0012_0007__BEEN,R_0012_0008__EASIER)
      & has_arg0(R_0012_0002__REALIZE,R_0012_0001__I)
      & r_0012_0019__that_r_0012_0020__used(R_0012_0019__THAT_R_0012_0020__USED)
      & has_prd(R_0012_0019__THAT_R_0012_0020__USED,R_0012_0022__TO_R_0012_0023__PROVIDE)
      & r_0012_0022__to_r_0012_0023__provide(R_0012_0022__TO_R_0012_0023__PROVIDE)
      & has_arg0(R_0012_0022__TO_R_0012_0023__PROVIDE,X_000_12_A_STICK_66)
      & has_r_0012_0027__from_nim81(R_0012_0022__TO_R_0012_0023__PROVIDE,R_0012_0028__A_R_0012_0029__TEXT_R_0012_0030__FILE)
      & has_arg1(R_0012_0022__TO_R_0012_0023__PROVIDE,R_0012_0024__THE_R_0012_0025__MENU_R_0012_0026__ITEMS)
      & has_arg1(R_0012_0019__THAT_R_0012_0020__USED,R_0012_0021__MESSAGETRANS)
      & has_arg0(R_0012_0019__THAT_R_0012_0020__USED,R_0012_0015__A_R_0012_0016__VERSION) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO I;{I}))
                      (VBP;_Tf_ realize;{realize})
                      (CP-THT-OB1 (IP-SUB (C that;{that})
                                          (NP-SBJ (PRO;_expletive_ it;{it}))
                                          (MD;_cat_Vi_ would;{will})
                                          (IP-INF-CAT (HV;_cat_Ve_ have;{have})
                                                      (IP-PPL-CAT (BEN;_La_ been;{be})
                                                                  (ADJP-PRD (ADJR easier;{easy}))
                                                                  (PP-NIM (P-ROLE for;{for})
                                                                          (NP (PRO you;{you})))))
                                          (PP-SCON-CND (IP-ADV (HVD;_cat_Ve_ had;{have})
                                                               (NP-SBJ (PRO I;{I}))
                                                               (IP-PPL-CAT (VVN;_phr_Vn<=>p_ brought;{bring[out]})
                                                                           (RP out;{out})
                                                                           (NP-OB1 (D a;{a})
                                                                                   (N version;{version})
                                                                                   (PP (P-ROLE of;{of})
                                                                                       (NP;{STICK} (NPR stick;{stick})))
                                                                                   (IP-REL (C that;{that})
                                                                                           (NP-SBJ *T*)
                                                                                           (VBD;_Cn.t_ used;{use})
                                                                                           (NP-OB1 (NPR MessageTrans;{MessageTrans}))
                                                                                           (IP-INF-PRD (TO to;{to})
                                                                                                       (VB;_Tn.pr_ provide;{provide})
                                                                                                       (NP-OB1 (D the;{the})
                                                                                                               (N menu;{menu})
                                                                                                               (NS items;{item}))
                                                                                                       (PP-NIM (P-ROLE from;{from})
                                                                                                               (NP (D a;{a})
                                                                                                                   (N text;{text})
                                                                                                                   (N file;{file}))))))))))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (ILYR (ILYR (NP-SBJ (PRO;_provisional_ it;{it}))
                                         (MD;_cat_Vi_ would;{will})
                                         (IP-INF-CAT (HV;_cat_Ve_ have;{have})
                                                     (IP-PPL-CAT (VVN;_Tn_ meant;{mean})
                                                                 (NP-OB1 (ADJP (ADJR more;{more}))
                                                                         (N code;{code})
                                                                         (PP (P-ROLE in;{in})
                                                                             (NP;{STICK} (NPR stick;{stick}))))))
                                         (IP-INF-NSBJ (TO to;{to})
                                                      (VB;_Tn_ create;{create})
                                                      (NP-OB1 (D the;{the})
                                                              (N menu;{menu}))))
                                   (PUNC ,)
                                   (CONJP (CONJ and;{and})
                                          (ILYR (NP-SBJ (PRO I;{I}))
                                                (BEP;_La_ am;{be})
                                                (ADJP-PRD (ADJ lazy;{lazy}))))))))
          (PUNC .))
  (ID 12_a_stick))