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.
( (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 (ADVP-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))
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,attrib).
arc(r_0001_0009__wrote,r_0001_0003__a_r_0001_0005__BASIC_r_0001_0006__program,inv_arg1).
arc(r_0001_0009__wrote,r_0001_0008__I,arg0).
arc(r_0001_0009__wrote,r_0001_0011__ago,nim).
arc(r_0001_0009__wrote,r_0001_0015__assembler,r_0001_0013__originally_r_0001_0014__in__nim).
arc(r_0001_0011__ago,r_0001_0010__years,nim).
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_0008__I,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_0001_0001__STICK,R_0001_0004__SMALL,R_0001_0008__I,R_0001_0010__YEARS,R_0001_0011__AGO,R_0001_0015__ASSEMBLER,R_0001_0009__WROTE,R_0001_0003__A_R_0001_0005__BASIC_R_0001_0006__PROGRAM,R_0001_0002__IS,R_0001_0023__WORK,R_0001_0021__A_LOT,R_0001_0018__HAS_R_0001_0019__SAVED] :
( r_0001_0001__stick(R_0001_0001__STICK)
& r_0001_0004__small(R_0001_0004__SMALL)
& r_0001_0008__I(R_0001_0008__I)
& r_0001_0010__years(R_0001_0010__YEARS)
& r_0001_0015__assembler(R_0001_0015__ASSEMBLER)
& r_0001_0023__work(R_0001_0023__WORK)
& r_0001_0018__has_r_0001_0019__saved(R_0001_0018__HAS_R_0001_0019__SAVED)
& has_arg1(R_0001_0018__HAS_R_0001_0019__SAVED,R_0001_0021__A_LOT)
& r_0001_0021__a_lot(R_0001_0021__A_LOT)
& has_r_0001_0022__of(R_0001_0021__A_LOT,R_0001_0023__WORK)
& has_arg2(R_0001_0018__HAS_R_0001_0019__SAVED,R_0001_0008__I)
& has_arg0(R_0001_0018__HAS_R_0001_0019__SAVED,R_0001_0003__A_R_0001_0005__BASIC_R_0001_0006__PROGRAM)
& r_0001_0003__a_r_0001_0005__BASIC_r_0001_0006__program(R_0001_0003__A_R_0001_0005__BASIC_R_0001_0006__PROGRAM)
& has_inv_arg1(R_0001_0003__A_R_0001_0005__BASIC_R_0001_0006__PROGRAM,R_0001_0009__WROTE)
& r_0001_0009__wrote(R_0001_0009__WROTE)
& has_r_0001_0013__originally_r_0001_0014__in__nim(R_0001_0009__WROTE,R_0001_0015__ASSEMBLER)
& has_nim(R_0001_0009__WROTE,R_0001_0011__AGO)
& r_0001_0011__ago(R_0001_0011__AGO)
& has_nim(R_0001_0011__AGO,R_0001_0010__YEARS)
& has_arg0(R_0001_0009__WROTE,R_0001_0008__I)
& has_attrib(R_0001_0003__A_R_0001_0005__BASIC_R_0001_0006__PROGRAM,R_0001_0004__SMALL)
& r_0001_0002__is(R_0001_0002__IS)
& has_prd(R_0001_0002__IS,R_0001_0003__A_R_0001_0005__BASIC_R_0001_0006__PROGRAM)
& has_arg0(R_0001_0002__IS,R_0001_0001__STICK) ) ).