4_a_alresford
I was also teaching very happily in Greater London.
( (IP-MAT (NP-SBJ (PRO I;{I}))
(BED;_cat_Vg_ was;{be})
(IP-PPL-CAT (ADVP-NIM (ADV also;{also}))
(VAG;_I_ teaching;{teach})
(ADVP-NIM (ADVP (ADV very;{very}))
(ADV happily;{happily}))
(PP-NIM (P-ROLE in;{in})
(NP (NPR Greater;{Greater})
(NPR London;{London}))))
(PUNC .))
(ID 4_a_alresford))
arc(r_0004_0002__was,r_0004_0004__teaching,scope).
arc(r_0004_0004__teaching,r_0004_0001__I,arg0).
arc(r_0004_0004__teaching,r_0004_0003__also,nim).
arc(r_0004_0004__teaching,r_0004_0006__happily,nim).
arc(r_0004_0004__teaching,r_0004_0008__Greater_r_0004_0009__London,r_0004_0007__in__nim).
arc(r_0004_0006__happily,r_0004_0005__very,qual).
fof(formula,axiom,
? [R_0004_0001__I,R_0004_0003__ALSO,R_0004_0005__VERY,R_0004_0006__HAPPILY,R_0004_0008__GREATER_R_0004_0009__LONDON,R_0004_0002__WAS_R_0004_0004__TEACHING] :
( r_0004_0001__I(R_0004_0001__I)
& r_0004_0003__also(R_0004_0003__ALSO)
& r_0004_0005__very(R_0004_0005__VERY)
& r_0004_0008__Greater_r_0004_0009__London(R_0004_0008__GREATER_R_0004_0009__LONDON)
& r_0004_0002__was_r_0004_0004__teaching(R_0004_0002__WAS_R_0004_0004__TEACHING)
& has_r_0004_0007__in__nim(R_0004_0002__WAS_R_0004_0004__TEACHING,R_0004_0008__GREATER_R_0004_0009__LONDON)
& has_nim(R_0004_0002__WAS_R_0004_0004__TEACHING,R_0004_0006__HAPPILY)
& r_0004_0006__happily(R_0004_0006__HAPPILY)
& has_qual(R_0004_0006__HAPPILY,R_0004_0005__VERY)
& has_nim(R_0004_0002__WAS_R_0004_0004__TEACHING,R_0004_0003__ALSO)
& has_arg0(R_0004_0002__WAS_R_0004_0004__TEACHING,R_0004_0001__I) ) ).