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.
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).
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) ) ).
( (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))