15_a_beeton_1861
At tea he again attends.
arc(r_0015_0005__attends, r_0015_0002__tea, r_0015_0001__At_nim5).
arc(r_0015_0005__attends, r_0015_0003__he, arg0).
arc(r_0015_0005__attends, r_0015_0004__again, nim11).
fof(formula,axiom,
? [R_0015_0002__TEA,R_0015_0003__HE,R_0015_0004__AGAIN,R_0015_0005__ATTENDS] :
( r_0015_0002__tea(R_0015_0002__TEA)
& r_0015_0003__he(R_0015_0003__HE)
& r_0015_0004__again(R_0015_0004__AGAIN)
& r_0015_0005__attends(R_0015_0005__ATTENDS)
& has_nim11(R_0015_0005__ATTENDS,R_0015_0004__AGAIN)
& has_arg0(R_0015_0005__ATTENDS,R_0015_0003__HE)
& has_r_0015_0001__At_nim5(R_0015_0005__ATTENDS,R_0015_0002__TEA) ) ).
( (IP-MAT (PP-NIM (P-ROLE At;{at})
(NP (N tea;{tea})))
(NP-SBJ;{BUTLER} (PRO he;{he}))
(ADVP-NIM (ADV again;{again}))
(VBP;_I_ attends;{attend})
(PUNC .))
(ID 15_a_beeton_1861;2162-1))