40_a_alresford
For a time, I still worked a couple of afternoons supply teaching at Perins;
arc(r_0040_0007__worked, r_0040_0002__a_r_0040_0003__time, r_0040_0001__For_nim5).
arc(r_0040_0007__worked, r_0040_0005__I, arg0).
arc(r_0040_0007__worked, r_0040_0006__still, nim15).
arc(r_0040_0007__worked, r_0040_0008__a_r_0040_0009__couple, nim20).
arc(r_0040_0007__worked, r_0040_0012__supply_r_0040_0013__teaching, arg1).
arc(r_0040_0007__worked, r_0040_0015__Perins, r_0040_0014__at_nim39).
arc(r_0040_0008__a_r_0040_0009__couple, r_0040_0011__afternoons, r_0040_0010__of).
fof(formula,axiom,
? [R_40_7_WORKED,R_40_5_I,R_40_12_SUPPLY_TEACHING,R_40_6_STILL,R_40_8_A_COUPLE,R_40_11_AFTERNOONS,R_40_2_A_TIME,R_40_15_PERINS] :
( i(R_40_5_I)
& supply_teaching(R_40_12_SUPPLY_TEACHING)
& still(R_40_6_STILL)
& afternoons(R_40_11_AFTERNOONS)
& a_time(R_40_2_A_TIME)
& perins(R_40_15_PERINS)
& worked(R_40_7_WORKED,R_40_5_I,R_40_12_SUPPLY_TEACHING)
& nim15(R_40_7_WORKED,R_40_6_STILL)
& nim20(R_40_7_WORKED,R_40_8_A_COUPLE)
& a_couple(R_40_8_A_COUPLE)
& of(R_40_8_A_COUPLE,R_40_11_AFTERNOONS)
& for_nim5(R_40_7_WORKED,R_40_2_A_TIME)
& at_nim39(R_40_7_WORKED,R_40_15_PERINS) ) ).
( (IP-MAT (PP-TPC-NIM (P-ROLE For;{for})
(NP (D a;{a})
(N time;{time})))
(PUNC ,)
(NP-SBJ (PRO I;{I}))
(ADVP-NIM (ADV still;{still}))
(VBD;_Tn_ worked;{work})
(NP-NIM (D a;{a})
(N couple;{couple})
(PP (P-ROLE of;{of})
(NP (NS afternoons;{afternoon}))))
(NP-OB1 (N supply;{supply})
(N teaching;{teaching}))
(PP-NIM (P-ROLE at;{at})
(NP (NPR Perins;{Perins})))
(PUNC ;))
(ID 40_a_alresford))