107_a_alresford
Links with Alresford are never far away.
arc(r_0107_0001__Links, r_0107_0003__Alresford, r_0107_0002__with).
arc(r_0107_0004__are, r_0107_0001__Links, arg0).
arc(r_0107_0004__are, r_0107_0007__away, clr13).
arc(r_0107_0006__far, r_0107_0005__never, qual15).
arc(r_0107_0007__away, r_0107_0006__far, qual14).
fof(formula,axiom,
? [R_107_4_ARE,R_107_1_LINKS,R_107_3_ALRESFORD,R_107_7_AWAY,R_107_6_FAR,R_107_5_NEVER] :
( alresford(R_107_3_ALRESFORD)
& never(R_107_5_NEVER)
& are(R_107_4_ARE,R_107_1_LINKS)
& links(R_107_1_LINKS)
& with(R_107_1_LINKS,R_107_3_ALRESFORD)
& clr13(R_107_4_ARE,R_107_7_AWAY)
& away(R_107_7_AWAY)
& qual14(R_107_7_AWAY,R_107_6_FAR)
& far(R_107_6_FAR)
& qual15(R_107_6_FAR,R_107_5_NEVER) ) ).
( (IP-MAT (NP-SBJ (NS Links;{link})
(PP (P-ROLE with;{with})
(NP (NPR Alresford;{Alresford}))))
(BEP;_Ip_ are;{be[away]})
(ADVP-CLR (ADVP (ADVP (ADV never;{never}))
(ADV far;{far}))
(ADV away;{away}))
(PUNC .))
(ID 107_a_alresford))