98_a_alresford
But Alresford still feels like home when I return.
arc(r_0098_0001__But_r_0098_0004__feels, r_0098_0002__Alresford, arg0).
arc(r_0098_0001__But_r_0098_0004__feels, r_0098_0003__still, nim7).
arc(r_0098_0001__But_r_0098_0004__feels, r_0098_0006__home, r_0098_0005__like_clr15).
arc(r_0098_0007__when, r_0098_0001__But_r_0098_0004__feels, scope).
arc(r_0098_0007__when, r_0098_0009__return, restriction).
arc(r_0098_0009__return, r_0098_0008__I, arg0).
fof(formula,axiom,
! [R_0098_0009__RETURN,R_0098_0008__I] :
( ( r_0098_0008__I(R_0098_0008__I)
& r_0098_0009__return(R_0098_0009__RETURN)
& has_arg0(R_0098_0009__RETURN,R_0098_0008__I) )
=> ? [R_0098_0002__ALRESFORD,R_0098_0003__STILL,R_0098_0006__HOME,R_0098_0001__BUT_R_0098_0004__FEELS] :
( r_0098_0002__Alresford(R_0098_0002__ALRESFORD)
& r_0098_0003__still(R_0098_0003__STILL)
& r_0098_0006__home(R_0098_0006__HOME)
& r_0098_0001__But_r_0098_0004__feels(R_0098_0001__BUT_R_0098_0004__FEELS)
& has_r_0098_0005__like_clr15(R_0098_0001__BUT_R_0098_0004__FEELS,R_0098_0006__HOME)
& has_nim7(R_0098_0001__BUT_R_0098_0004__FEELS,R_0098_0003__STILL)
& has_arg0(R_0098_0001__BUT_R_0098_0004__FEELS,R_0098_0002__ALRESFORD) ) ) ).
( (IP-MAT (CONJ;_cl_ But;{but})
(NP-SBJ (NPR Alresford;{Alresford}))
(ADVP-NIM (ADV still;{still}))
(VBP;_Ipr_ feels;{feel[like]})
(PP-CLR (P-ROLE like;{like})
(NP (N home;{home})))
(PP-SCON (P-CONN when;{when})
(IP-ADV (NP-SBJ (PRO I;{I}))
(VBP;_I_ return;{return})))
(PUNC .))
(ID 98_a_alresford))