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_98_9_RETURN,R_98_8_I] :
( ( i(R_98_8_I)
& return(R_98_9_RETURN,R_98_8_I) )
=> ? [R_98_1_BUT_FEELS,R_98_2_ALRESFORD,R_98_3_STILL,R_98_6_HOME] :
( alresford(R_98_2_ALRESFORD)
& still(R_98_3_STILL)
& home(R_98_6_HOME)
& but_feels(R_98_1_BUT_FEELS,R_98_2_ALRESFORD)
& nim7(R_98_1_BUT_FEELS,R_98_3_STILL)
& like_clr15(R_98_1_BUT_FEELS,R_98_6_HOME) ) ) ).
( (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))