61_a_paulfellows
By that stage we were here, Arthur 1.something that fired up and looked like that.
arc(r_0061_0005__were, r_0061_0002__that_r_0061_0003__stage, r_0061_0001__By_nim5).
arc(r_0061_0005__were, r_0061_0004__we, arg0).
arc(r_0061_0005__were, r_0061_0006__here, clr15).
fof(formula,axiom,
? [R_61_5_WERE,R_61_4_WE,R_61_6_HERE,R_61_2_THAT_STAGE] :
( we(R_61_4_WE)
& here(R_61_6_HERE)
& that_stage(R_61_2_THAT_STAGE)
& were(R_61_5_WERE,R_61_4_WE)
& clr15(R_61_5_WERE,R_61_6_HERE)
& by_nim5(R_61_5_WERE,R_61_2_THAT_STAGE) ) ).
( (IP-MAT (PP-NIM (P-ROLE By;{by})
(NP (D that;{that})
(N stage;{stage})))
(NP-SBJ (PRO we;{we}))
(BED;_Ip_ were;{be[here]})
(ADVP-CLR (ADV here;{here})
(PUNC ,)
(PRN (NP (NPR Arthur;{Arthur})
(NUM 1<dot>something)
(IP-REL (C that;{that})
(NP-SBJ *T*)
(ILYR (ILYR (VBD;__ fired;{fire})
(ADVP-NIM (RP up;{up})))
(CONJP (CONJ and;{and})
(ILYR (VBD;_Ipr_ looked;{look[like]})
(PP-CLR (P-ROLE like;{like})
(NP (D;_nphd_ that;{that}))))))))))
(PUNC .))
(ID 61_a_paulfellows))