( (IP-MAT (ILYR (ILYR (NP-SBJ (D;_nphd_ Some;{some})
                              (PP (P-ROLE of;{of})
                                  (NP (D the;{the})
                                      (NS shops;{shop})
                                      (IP-REL (NP-SBJ (PRO I;{I}))
                                              (MD;_cat_Vt_ used;{used})
                                              (IP-INF-CAT (NP-OB1 *T*)
                                                          (TO to;{to})
                                                          (VB;_Tn_ frequent;{frequent}))))))
                      (BEP;_La_ are;{be})
                      (ADJP-PRD (ADJ gone;{gone})))
                (PUNC ,)
                (CONJP (ILYR (NP-SBJ (NS others;{other}))
                             (BEP;_cat_VePASS_ are;{be})
                             (IP-PPL-CAT (ADVP-NIM (ADV still;{still}))
                                         (VVN;_Tn_ staffed;{staff})
                                         (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                 (NP (ADJP (ADJ familiar;{familiar}))
                                                     (NS faces;{face})))))))
          (PUNC .))
  (ID 94_a_alresford))

arc(r_0094_0001__Some,r_0094_0003__the_r_0094_0004__shops,r_0094_0002__of).
arc(r_0094_0006__used,r_0094_0008__frequent,scope).
arc(r_0094_0008__frequent,r_0094_0003__the_r_0094_0004__shops,inv_arg1).
arc(r_0094_0008__frequent,r_0094_0005__I,arg0).
arc(r_0094_0009__are,r_0094_0001__Some,arg0).
arc(r_0094_0009__are,r_0094_0010__gone,prd).
arc(r_0094_0013__are,r_0094_0015__staffed,scope).
arc(r_0094_0015__staffed,r_0094_0012__others,arg1).
arc(r_0094_0015__staffed,r_0094_0014__still,nim).
arc(r_0094_0015__staffed,r_0094_0018__faces,r_0094_0016__by_arg0).
arc(r_0094_0018__faces,r_0094_0017__familiar,attrib).
arc(z_0094_5001,r_0094_0009__are,conj1).
arc(z_0094_5001,r_0094_0013__are,conj2).

fof(formula,axiom,
    ? [R_0094_0005__I,R_0094_0006__USED_R_0094_0008__FREQUENT,R_0094_0003__THE_R_0094_0004__SHOPS,R_0094_0001__SOME,R_0094_0010__GONE,R_0094_0009__ARE,R_0094_0012__OTHERS,R_0094_0014__STILL,R_0094_0017__FAMILIAR,R_0094_0018__FACES,R_0094_0013__ARE_R_0094_0015__STAFFED,Z_0094_5001] :
      ( r_0094_0005__I(R_0094_0005__I)
      & r_0094_0010__gone(R_0094_0010__GONE)
      & r_0094_0012__others(R_0094_0012__OTHERS)
      & r_0094_0014__still(R_0094_0014__STILL)
      & r_0094_0017__familiar(R_0094_0017__FAMILIAR)
      & z_0094_5001(Z_0094_5001)
      & has_conj2(Z_0094_5001,R_0094_0013__ARE_R_0094_0015__STAFFED)
      & r_0094_0013__are_r_0094_0015__staffed(R_0094_0013__ARE_R_0094_0015__STAFFED)
      & has_r_0094_0016__by_arg0(R_0094_0013__ARE_R_0094_0015__STAFFED,R_0094_0018__FACES)
      & r_0094_0018__faces(R_0094_0018__FACES)
      & has_attrib(R_0094_0018__FACES,R_0094_0017__FAMILIAR)
      & has_nim(R_0094_0013__ARE_R_0094_0015__STAFFED,R_0094_0014__STILL)
      & has_arg1(R_0094_0013__ARE_R_0094_0015__STAFFED,R_0094_0012__OTHERS)
      & has_conj1(Z_0094_5001,R_0094_0009__ARE)
      & r_0094_0009__are(R_0094_0009__ARE)
      & has_prd(R_0094_0009__ARE,R_0094_0010__GONE)
      & has_arg0(R_0094_0009__ARE,R_0094_0001__SOME)
      & r_0094_0001__Some(R_0094_0001__SOME)
      & has_r_0094_0002__of(R_0094_0001__SOME,R_0094_0003__THE_R_0094_0004__SHOPS)
      & r_0094_0003__the_r_0094_0004__shops(R_0094_0003__THE_R_0094_0004__SHOPS)
      & has_inv_arg1(R_0094_0003__THE_R_0094_0004__SHOPS,R_0094_0006__USED_R_0094_0008__FREQUENT)
      & r_0094_0006__used_r_0094_0008__frequent(R_0094_0006__USED_R_0094_0008__FREQUENT)
      & has_arg0(R_0094_0006__USED_R_0094_0008__FREQUENT,R_0094_0005__I) ) ).