( (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 102_a_alresford))

arc(r_0102_0001__Links,r_0102_0003__Alresford,r_0102_0002__with).
arc(r_0102_0004__are,r_0102_0001__Links,arg0).
arc(r_0102_0004__are,r_0102_0007__away,clr).
arc(r_0102_0006__far,r_0102_0005__never,qual).
arc(r_0102_0007__away,r_0102_0006__far,qual).

fof(formula,axiom,
    ? [R_0102_0003__ALRESFORD,R_0102_0001__LINKS,R_0102_0005__NEVER,R_0102_0006__FAR,R_0102_0007__AWAY,R_0102_0004__ARE] :
      ( r_0102_0003__Alresford(R_0102_0003__ALRESFORD)
      & r_0102_0005__never(R_0102_0005__NEVER)
      & r_0102_0004__are(R_0102_0004__ARE)
      & has_clr(R_0102_0004__ARE,R_0102_0007__AWAY)
      & r_0102_0007__away(R_0102_0007__AWAY)
      & has_qual(R_0102_0007__AWAY,R_0102_0006__FAR)
      & r_0102_0006__far(R_0102_0006__FAR)
      & has_qual(R_0102_0006__FAR,R_0102_0005__NEVER)
      & has_arg0(R_0102_0004__ARE,R_0102_0001__LINKS)
      & r_0102_0001__Links(R_0102_0001__LINKS)
      & has_r_0102_0002__with(R_0102_0001__LINKS,R_0102_0003__ALRESFORD) ) ).