107_a_alresford
Links with Alresford are never far away.

%3 r_0107_0001__Links Links r_0107_0003__Alresford Alresford r_0107_0001__Links->r_0107_0003__Alresford with r_0107_0004__are are r_0107_0004__are->r_0107_0001__Links [arg0] r_0107_0007__away away r_0107_0004__are->r_0107_0007__away [clr] r_0107_0006__far far r_0107_0007__away->r_0107_0006__far [qual] r_0107_0005__never never r_0107_0006__far->r_0107_0005__never [qual]
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).



%3 r_0107_0007__away away r_0107_0006__far far r_0107_0007__away->r_0107_0006__far [qual] r_0107_0005__never never r_0107_0006__far->r_0107_0005__never [qual] r_0107_0004__are are r_0107_0004__are->r_0107_0007__away [clr] r_0107_0001__Links Links r_0107_0004__are->r_0107_0001__Links [arg0] r_0107_0003__Alresford Alresford r_0107_0001__Links->r_0107_0003__Alresford with
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) ) ).



n107_a_alresford n107_a_alresford__1_1_1_1 Links n107_a_alresford__1_1_2_1_1 with n107_a_alresford__1_1_2_2_1_1 Alresford n107_a_alresford__1_2_1 are n107_a_alresford__1_3_1_1_1_1 never n107_a_alresford__1_3_1_2_1 far n107_a_alresford__1_3_2_1 away n107_a_alresford__1_4_1 . n107_a_alresford__1 IP-MAT n107_a_alresford__1_1 NP-SBJ n107_a_alresford__1->n107_a_alresford__1_1 n107_a_alresford__1_2 BEP;_Ip_ n107_a_alresford__1->n107_a_alresford__1_2 n107_a_alresford__1_3 ADVP-CLR n107_a_alresford__1->n107_a_alresford__1_3 n107_a_alresford__1_4 PUNC n107_a_alresford__1->n107_a_alresford__1_4 n107_a_alresford__1_1_1 NS n107_a_alresford__1_1->n107_a_alresford__1_1_1 n107_a_alresford__1_1_2 PP n107_a_alresford__1_1->n107_a_alresford__1_1_2 n107_a_alresford__1_1_1->n107_a_alresford__1_1_1_1 n107_a_alresford__1_1_2_1 P-ROLE n107_a_alresford__1_1_2->n107_a_alresford__1_1_2_1 n107_a_alresford__1_1_2_2 NP n107_a_alresford__1_1_2->n107_a_alresford__1_1_2_2 n107_a_alresford__1_1_2_1->n107_a_alresford__1_1_2_1_1 n107_a_alresford__1_1_2_2_1 NPR n107_a_alresford__1_1_2_2->n107_a_alresford__1_1_2_2_1 n107_a_alresford__1_1_2_2_1->n107_a_alresford__1_1_2_2_1_1 n107_a_alresford__1_2->n107_a_alresford__1_2_1 n107_a_alresford__1_3_1 ADVP n107_a_alresford__1_3->n107_a_alresford__1_3_1 n107_a_alresford__1_3_2 ADV n107_a_alresford__1_3->n107_a_alresford__1_3_2 n107_a_alresford__1_3_1_1 ADVP n107_a_alresford__1_3_1->n107_a_alresford__1_3_1_1 n107_a_alresford__1_3_1_2 ADV n107_a_alresford__1_3_1->n107_a_alresford__1_3_1_2 n107_a_alresford__1_3_1_1_1 ADV n107_a_alresford__1_3_1_1->n107_a_alresford__1_3_1_1_1 n107_a_alresford__1_3_1_1_1->n107_a_alresford__1_3_1_1_1_1 n107_a_alresford__1_3_1_2->n107_a_alresford__1_3_1_2_1 n107_a_alresford__1_3_2->n107_a_alresford__1_3_2_1 n107_a_alresford__1_4->n107_a_alresford__1_4_1
( (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))