1_a_stick
stick is a small BASIC program that I wrote years ago, originally in assembler, which has saved me a lot of work.

%3 r_0001_0002__is is r_0001_0001__stick stick r_0001_0002__is->r_0001_0001__stick [arg0] r_0001_0003__a_r_0001_0005__BASIC_r_0001_0006__program a BASIC program r_0001_0002__is->r_0001_0003__a_r_0001_0005__BASIC_r_0001_0006__program [prd] r_0001_0004__small small r_0001_0003__a_r_0001_0005__BASIC_r_0001_0006__program->r_0001_0004__small [attrib] r_0001_0007__that_r_0001_0009__wrote that wrote r_0001_0007__that_r_0001_0009__wrote->r_0001_0003__a_r_0001_0005__BASIC_r_0001_0006__program [arg1] r_0001_0008__I I r_0001_0007__that_r_0001_0009__wrote->r_0001_0008__I [arg0] r_0001_0011__ago ago r_0001_0007__that_r_0001_0009__wrote->r_0001_0011__ago [nim] r_0001_0015__assembler assembler r_0001_0007__that_r_0001_0009__wrote->r_0001_0015__assembler originally in [nim] r_0001_0010__years years r_0001_0011__ago->r_0001_0010__years [nim] r_0001_0018__has has r_0001_0019__saved saved r_0001_0018__has->r_0001_0019__saved [scope] r_0001_0019__saved->r_0001_0003__a_r_0001_0005__BASIC_r_0001_0006__program [arg0] r_0001_0020__me me r_0001_0019__saved->r_0001_0020__me [arg2] r_0001_0021__a_lot a lot r_0001_0019__saved->r_0001_0021__a_lot [arg1] r_0001_0023__work work r_0001_0021__a_lot->r_0001_0023__work of
arc(r_0001_0002__is, r_0001_0001__stick, arg0).
arc(r_0001_0002__is, r_0001_0003__a_r_0001_0005__BASIC_r_0001_0006__program, prd).
arc(r_0001_0003__a_r_0001_0005__BASIC_r_0001_0006__program, r_0001_0004__small, attrib10).
arc(r_0001_0007__that_r_0001_0009__wrote, r_0001_0003__a_r_0001_0005__BASIC_r_0001_0006__program, arg1).
arc(r_0001_0007__that_r_0001_0009__wrote, r_0001_0008__I, arg0).
arc(r_0001_0007__that_r_0001_0009__wrote, r_0001_0011__ago, nim27).
arc(r_0001_0007__that_r_0001_0009__wrote, r_0001_0015__assembler, r_0001_0013__originally_r_0001_0014__in_nim40).
arc(r_0001_0011__ago, r_0001_0010__years, nim28).
arc(r_0001_0018__has, r_0001_0019__saved, scope).
arc(r_0001_0019__saved, r_0001_0003__a_r_0001_0005__BASIC_r_0001_0006__program, arg0).
arc(r_0001_0019__saved, r_0001_0020__me, arg2).
arc(r_0001_0019__saved, r_0001_0021__a_lot, arg1).
arc(r_0001_0021__a_lot, r_0001_0023__work, r_0001_0022__of).



%3 r_0001_0021__a_lot a lot r_0001_0023__work work r_0001_0021__a_lot->r_0001_0023__work of r_0001_0018__has_r_0001_0019__saved has saved r_0001_0018__has_r_0001_0019__saved->r_0001_0021__a_lot [arg1] r_0001_0020__me me r_0001_0018__has_r_0001_0019__saved->r_0001_0020__me [arg2] r_0001_0003__a_r_0001_0005__BASIC_r_0001_0006__program a BASIC program r_0001_0018__has_r_0001_0019__saved->r_0001_0003__a_r_0001_0005__BASIC_r_0001_0006__program [arg0] r_0001_0004__small small r_0001_0003__a_r_0001_0005__BASIC_r_0001_0006__program->r_0001_0004__small [attrib] r_0001_0011__ago ago r_0001_0010__years years r_0001_0011__ago->r_0001_0010__years [nim] r_0001_0007__that_r_0001_0009__wrote that wrote r_0001_0007__that_r_0001_0009__wrote->r_0001_0003__a_r_0001_0005__BASIC_r_0001_0006__program [arg1] r_0001_0007__that_r_0001_0009__wrote->r_0001_0011__ago [nim] r_0001_0015__assembler assembler r_0001_0007__that_r_0001_0009__wrote->r_0001_0015__assembler originally in [nim] r_0001_0008__I I r_0001_0007__that_r_0001_0009__wrote->r_0001_0008__I [arg0] r_0001_0002__is is r_0001_0002__is->r_0001_0003__a_r_0001_0005__BASIC_r_0001_0006__program [prd] r_0001_0001__stick stick r_0001_0002__is->r_0001_0001__stick [arg0]
fof(formula,axiom,
    ? [R_1_2_IS,R_1_1_STICK,R_1_7_THAT_WROTE,R_1_8_I,R_1_11_AGO,R_1_10_YEARS,R_1_15_ASSEMBLER,R_1_18_HAS_SAVED,R_1_3_A_BASIC_PROGRAM,R_1_4_SMALL,R_1_21_A_LOT,R_1_23_WORK,R_1_20_ME] :
      ( stick(R_1_1_STICK)
      & i(R_1_8_I)
      & years(R_1_10_YEARS)
      & assembler(R_1_15_ASSEMBLER)
      & small(R_1_4_SMALL)
      & work(R_1_23_WORK)
      & me(R_1_20_ME)
      & is(R_1_2_IS,R_1_1_STICK,R_1_3_A_BASIC_PROGRAM)
      & a_BASIC_program(R_1_3_A_BASIC_PROGRAM)
      & attrib10(R_1_3_A_BASIC_PROGRAM,R_1_4_SMALL)
      & that_wrote(R_1_7_THAT_WROTE,R_1_8_I,R_1_3_A_BASIC_PROGRAM)
      & nim27(R_1_7_THAT_WROTE,R_1_11_AGO)
      & ago(R_1_11_AGO)
      & nim28(R_1_11_AGO,R_1_10_YEARS)
      & originally_in_nim40(R_1_7_THAT_WROTE,R_1_15_ASSEMBLER)
      & has_saved(R_1_18_HAS_SAVED,R_1_3_A_BASIC_PROGRAM,R_1_21_A_LOT,R_1_20_ME)
      & a_lot(R_1_21_A_LOT)
      & of(R_1_21_A_LOT,R_1_23_WORK) ) ).



n1_a_stick n1_a_stick__1_1_1_1 stick n1_a_stick__1_2_1 is n1_a_stick__1_3_1_1 a n1_a_stick__1_3_2_1_1 small n1_a_stick__1_3_3_1 BASIC n1_a_stick__1_3_4_1 program n1_a_stick__1_3_5_1_1 that n1_a_stick__1_3_5_2_1 *T* n1_a_stick__1_3_5_3_1_1 I n1_a_stick__1_3_5_4_1 wrote n1_a_stick__1_3_5_5_1_1_1 years n1_a_stick__1_3_5_5_2_1 ago n1_a_stick__1_3_5_6_1 , n1_a_stick__1_3_5_7_1_1 originally n1_a_stick__1_3_5_7_2_1 in n1_a_stick__1_3_5_7_3_1_1 assembler n1_a_stick__1_3_6_1 , n1_a_stick__1_3_7_1_1_1 which n1_a_stick__1_3_7_2_1 has n1_a_stick__1_3_7_3_1_1 saved n1_a_stick__1_3_7_3_2_1_1 me n1_a_stick__1_3_7_3_3_1_1 a_lot n1_a_stick__1_3_7_3_3_2_1_1 of n1_a_stick__1_3_7_3_3_2_2_1_1 work n1_a_stick__1_4_1 . n1_a_stick__1 IP-MAT n1_a_stick__1_1 NP-SBJ n1_a_stick__1->n1_a_stick__1_1 n1_a_stick__1_2 BEP;_Ln_ n1_a_stick__1->n1_a_stick__1_2 n1_a_stick__1_3 NP-PRD n1_a_stick__1->n1_a_stick__1_3 n1_a_stick__1_4 PUNC n1_a_stick__1->n1_a_stick__1_4 n1_a_stick__1_1_1 NPR n1_a_stick__1_1->n1_a_stick__1_1_1 n1_a_stick__1_1_1->n1_a_stick__1_1_1_1 n1_a_stick__1_2->n1_a_stick__1_2_1 n1_a_stick__1_3_1 D n1_a_stick__1_3->n1_a_stick__1_3_1 n1_a_stick__1_3_2 ADJP n1_a_stick__1_3->n1_a_stick__1_3_2 n1_a_stick__1_3_3 NPR n1_a_stick__1_3->n1_a_stick__1_3_3 n1_a_stick__1_3_4 N n1_a_stick__1_3->n1_a_stick__1_3_4 n1_a_stick__1_3_5 IP-REL n1_a_stick__1_3->n1_a_stick__1_3_5 n1_a_stick__1_3_6 PUNC n1_a_stick__1_3->n1_a_stick__1_3_6 n1_a_stick__1_3_7 IP-REL n1_a_stick__1_3->n1_a_stick__1_3_7 n1_a_stick__1_3_1->n1_a_stick__1_3_1_1 n1_a_stick__1_3_2_1 ADJ n1_a_stick__1_3_2->n1_a_stick__1_3_2_1 n1_a_stick__1_3_2_1->n1_a_stick__1_3_2_1_1 n1_a_stick__1_3_3->n1_a_stick__1_3_3_1 n1_a_stick__1_3_4->n1_a_stick__1_3_4_1 n1_a_stick__1_3_5_1 C n1_a_stick__1_3_5->n1_a_stick__1_3_5_1 n1_a_stick__1_3_5_2 NP-OB1 n1_a_stick__1_3_5->n1_a_stick__1_3_5_2 n1_a_stick__1_3_5_3 NP-SBJ n1_a_stick__1_3_5->n1_a_stick__1_3_5_3 n1_a_stick__1_3_5_4 VBD;_Tn_ n1_a_stick__1_3_5->n1_a_stick__1_3_5_4 n1_a_stick__1_3_5_5 ADVP-NIM n1_a_stick__1_3_5->n1_a_stick__1_3_5_5 n1_a_stick__1_3_5_6 PUNC n1_a_stick__1_3_5->n1_a_stick__1_3_5_6 n1_a_stick__1_3_5_7 PP-NIM n1_a_stick__1_3_5->n1_a_stick__1_3_5_7 n1_a_stick__1_3_5_1->n1_a_stick__1_3_5_1_1 n1_a_stick__1_3_5_2->n1_a_stick__1_3_5_2_1 n1_a_stick__1_3_5_3_1 PRO n1_a_stick__1_3_5_3->n1_a_stick__1_3_5_3_1 n1_a_stick__1_3_5_3_1->n1_a_stick__1_3_5_3_1_1 n1_a_stick__1_3_5_4->n1_a_stick__1_3_5_4_1 n1_a_stick__1_3_5_5_1 NP n1_a_stick__1_3_5_5->n1_a_stick__1_3_5_5_1 n1_a_stick__1_3_5_5_2 ADV n1_a_stick__1_3_5_5->n1_a_stick__1_3_5_5_2 n1_a_stick__1_3_5_5_1_1 NS n1_a_stick__1_3_5_5_1->n1_a_stick__1_3_5_5_1_1 n1_a_stick__1_3_5_5_1_1->n1_a_stick__1_3_5_5_1_1_1 n1_a_stick__1_3_5_5_2->n1_a_stick__1_3_5_5_2_1 n1_a_stick__1_3_5_6->n1_a_stick__1_3_5_6_1 n1_a_stick__1_3_5_7_1 ADV n1_a_stick__1_3_5_7->n1_a_stick__1_3_5_7_1 n1_a_stick__1_3_5_7_2 P-ROLE n1_a_stick__1_3_5_7->n1_a_stick__1_3_5_7_2 n1_a_stick__1_3_5_7_3 NP n1_a_stick__1_3_5_7->n1_a_stick__1_3_5_7_3 n1_a_stick__1_3_5_7_1->n1_a_stick__1_3_5_7_1_1 n1_a_stick__1_3_5_7_2->n1_a_stick__1_3_5_7_2_1 n1_a_stick__1_3_5_7_3_1 N n1_a_stick__1_3_5_7_3->n1_a_stick__1_3_5_7_3_1 n1_a_stick__1_3_5_7_3_1->n1_a_stick__1_3_5_7_3_1_1 n1_a_stick__1_3_6->n1_a_stick__1_3_6_1 n1_a_stick__1_3_7_1 NP-SBJ n1_a_stick__1_3_7->n1_a_stick__1_3_7_1 n1_a_stick__1_3_7_2 HVP;_cat_Ve_ n1_a_stick__1_3_7->n1_a_stick__1_3_7_2 n1_a_stick__1_3_7_3 IP-PPL-CAT n1_a_stick__1_3_7->n1_a_stick__1_3_7_3 n1_a_stick__1_3_7_1_1 RPRO n1_a_stick__1_3_7_1->n1_a_stick__1_3_7_1_1 n1_a_stick__1_3_7_1_1->n1_a_stick__1_3_7_1_1_1 n1_a_stick__1_3_7_2->n1_a_stick__1_3_7_2_1 n1_a_stick__1_3_7_3_1 VVN;_Dn.n_ n1_a_stick__1_3_7_3->n1_a_stick__1_3_7_3_1 n1_a_stick__1_3_7_3_2 NP-OB2 n1_a_stick__1_3_7_3->n1_a_stick__1_3_7_3_2 n1_a_stick__1_3_7_3_3 NP-OB1 n1_a_stick__1_3_7_3->n1_a_stick__1_3_7_3_3 n1_a_stick__1_3_7_3_1->n1_a_stick__1_3_7_3_1_1 n1_a_stick__1_3_7_3_2_1 PRO n1_a_stick__1_3_7_3_2->n1_a_stick__1_3_7_3_2_1 n1_a_stick__1_3_7_3_2_1->n1_a_stick__1_3_7_3_2_1_1 n1_a_stick__1_3_7_3_3_1 D;_nphd_ n1_a_stick__1_3_7_3_3->n1_a_stick__1_3_7_3_3_1 n1_a_stick__1_3_7_3_3_2 PP n1_a_stick__1_3_7_3_3->n1_a_stick__1_3_7_3_3_2 n1_a_stick__1_3_7_3_3_1->n1_a_stick__1_3_7_3_3_1_1 n1_a_stick__1_3_7_3_3_2_1 P-ROLE n1_a_stick__1_3_7_3_3_2->n1_a_stick__1_3_7_3_3_2_1 n1_a_stick__1_3_7_3_3_2_2 NP n1_a_stick__1_3_7_3_3_2->n1_a_stick__1_3_7_3_3_2_2 n1_a_stick__1_3_7_3_3_2_1->n1_a_stick__1_3_7_3_3_2_1_1 n1_a_stick__1_3_7_3_3_2_2_1 N n1_a_stick__1_3_7_3_3_2_2->n1_a_stick__1_3_7_3_3_2_2_1 n1_a_stick__1_3_7_3_3_2_2_1->n1_a_stick__1_3_7_3_3_2_2_1_1 n1_a_stick__1_4->n1_a_stick__1_4_1
( (IP-MAT (NP-SBJ;{STICK} (NPR stick;{stick}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D a;{a})
                  (ADJP (ADJ small;{small}))
                  (NPR BASIC;{BASIC})
                  (N program;{program})
                  (IP-REL (C that;{that})
                          (NP-OB1 *T*)
                          (NP-SBJ (PRO I;{I}))
                          (VBD;_Tn_ wrote;{write})
                          (ADVP-NIM (NP (NS years;{year}))
                                    (ADV ago;{ago}))
                          (PUNC ,)
                          (PP-NIM (ADV originally;{originally})
                                  (P-ROLE in;{in})
                                  (NP (N assembler;{assembler}))))
                  (PUNC ,)
                  (IP-REL (NP-SBJ (RPRO which;{which}))
                          (HVP;_cat_Ve_ has;{have})
                          (IP-PPL-CAT (VVN;_Dn.n_ saved;{save})
                                      (NP-OB2 (PRO me;{I}))
                                      (NP-OB1 (D;_nphd_ a_lot;{a_lot})
                                              (PP (P-ROLE of;{of})
                                                  (NP (N work;{work})))))))
          (PUNC .))
  (ID 1_a_stick))