( (IP-MAT (NP-SBJ;{BENNETT} (NPR Alan;{Alan})
                            (NPR Bennett;{Bennett}))
          (PP-NIM (P-ROLE with;{with})
                  (NP (NP-GEN;{BENNETT} (PRO;_genm_ his;{his}))
                      (ADJP (ADJ mysterious;{mysterious}))
                      (ADJP (ADJ little;{little}))
                      (ADJP (ADJ brown;{brown}))
                      (N bag;{bag})))
          (DOD did;{do})
          (NEG;_clitic_ n<apos>t;{not})
          (VB;_Tn_ impress;{impress})
          (NP-OB1;{LAYLOR} (PRO her;{her}))
          (ADVP-NIM (ADV at_all;{at_all}))
          (PUNC .))
  (ID 55_a_loosechange))

arc(r_0055_0008__bag,r_0055_0001__Alan_r_0055_0002__Bennett,gen).
arc(r_0055_0008__bag,r_0055_0005__mysterious,attrib).
arc(r_0055_0008__bag,r_0055_0006__little,attrib).
arc(r_0055_0008__bag,r_0055_0007__brown,attrib).
arc(r_0055_0009__did_r_0055_0011__impress,r_0055_0001__Alan_r_0055_0002__Bennett,arg0).
arc(r_0055_0009__did_r_0055_0011__impress,r_0055_0008__bag,r_0055_0003__with__nim).
arc(r_0055_0009__did_r_0055_0011__impress,r_0055_0012__her,arg1).
arc(r_0055_0009__did_r_0055_0011__impress,r_0055_0013__at_all,nim).
arc(r_0055_0010__n_apos_t,r_0055_0009__did_r_0055_0011__impress,keep_scope).

fof(formula,axiom,
    ~ ? [R_0055_0001__ALAN_R_0055_0002__BENNETT,R_0055_0005__MYSTERIOUS,R_0055_0006__LITTLE,R_0055_0007__BROWN,R_0055_0008__BAG,R_0055_0012__HER,R_0055_0013__AT_ALL,R_0055_0009__DID_R_0055_0011__IMPRESS] :
        ( r_0055_0001__Alan_r_0055_0002__Bennett(R_0055_0001__ALAN_R_0055_0002__BENNETT)
        & r_0055_0005__mysterious(R_0055_0005__MYSTERIOUS)
        & r_0055_0006__little(R_0055_0006__LITTLE)
        & r_0055_0007__brown(R_0055_0007__BROWN)
        & r_0055_0012__her(R_0055_0012__HER)
        & r_0055_0013__at_all(R_0055_0013__AT_ALL)
        & r_0055_0009__did_r_0055_0011__impress(R_0055_0009__DID_R_0055_0011__IMPRESS)
        & has_nim(R_0055_0009__DID_R_0055_0011__IMPRESS,R_0055_0013__AT_ALL)
        & has_arg1(R_0055_0009__DID_R_0055_0011__IMPRESS,R_0055_0012__HER)
        & has_r_0055_0003__with__nim(R_0055_0009__DID_R_0055_0011__IMPRESS,R_0055_0008__BAG)
        & r_0055_0008__bag(R_0055_0008__BAG)
        & has_attrib(R_0055_0008__BAG,R_0055_0007__BROWN)
        & has_attrib(R_0055_0008__BAG,R_0055_0006__LITTLE)
        & has_attrib(R_0055_0008__BAG,R_0055_0005__MYSTERIOUS)
        & has_gen(R_0055_0008__BAG,R_0055_0001__ALAN_R_0055_0002__BENNETT)
        & has_arg0(R_0055_0009__DID_R_0055_0011__IMPRESS,R_0055_0001__ALAN_R_0055_0002__BENNETT) ) ).