( (IP-MAT (ADVP-NIM (ADV Unfortunately;{unfortunately}))
          (PUNC ,)
          (NP-SBJ;{BROWN} (PRO he;{he}))
          (HVP;_cat_Ve_ has;{have})
          (NEG not;{not})
          (IP-PPL-CAT (VVN;_Dn.n_ left;{leave})
                      (NP-OB2;{SMITH} (PRO me;{I}))
                      (NP-OB1 (ADJP (ADJ much;{much}))
                              (N information;{information})))
          (PUNC ,)
          (PP-SCON (P-CONN so;{so})
                   (IP-ADV (NP-SBJ;{SMITH} (PRO I;{I}))
                           (BEP;_La_ am;{be})
                           (ADJP-PRD (ADJ afraid;{afraid})
                                     (CP-THT (IP-SUB (NP-SBJ;{SMITH} (PRO I;{I}))
                                                     (VBP;_Tn_ need;{need})
                                                     (NP-OB1 (NP-GEN (PRO;_genm_ your;{your}))
                                                             (N help;{help})))))))
          (PUNC .))
  (ID 9_a_fce_0100_2001_06))

arc(r_0009_0004__has,r_0009_0001__Unfortunately,nim).
arc(r_0009_0004__has,r_0009_0006__left,scope).
arc(r_0009_0005__not,r_0009_0004__has,keep_scope).
arc(r_0009_0006__left,r_0009_0003__he,arg0).
arc(r_0009_0006__left,r_0009_0007__me,arg2).
arc(r_0009_0006__left,r_0009_0009__information,arg1).
arc(r_0009_0009__information,r_0009_0008__much,attrib).
arc(r_0009_0011__so,r_0009_0005__not,scope).
arc(r_0009_0011__so,r_0009_0013__am,restriction).
arc(r_0009_0013__am,r_0009_0007__me,arg0).
arc(r_0009_0013__am,r_0009_0014__afraid,prd).
arc(r_0009_0014__afraid,r_0009_0016__need,emb).
arc(r_0009_0016__need,r_0009_0007__me,arg0).
arc(r_0009_0016__need,r_0009_0018__help,arg1).
arc(r_0009_0018__help,r_0009_0017__your,gen).

fof(formula,axiom,
    ? [R_0009_0007__ME,R_0009_0017__YOUR,R_0009_0018__HELP,R_0009_0016__NEED,R_0009_0014__AFRAID,R_0009_0013__AM,R_0009_0011__SO] :
      ( r_0009_0007__me(R_0009_0007__ME)
      & r_0009_0017__your(R_0009_0017__YOUR)
      & r_0009_0011__so(R_0009_0011__SO)
      & has_conj1(R_0009_0011__SO,R_0009_0013__AM)
      & r_0009_0013__am(R_0009_0013__AM)
      & has_prd(R_0009_0013__AM,R_0009_0014__AFRAID)
      & r_0009_0014__afraid(R_0009_0014__AFRAID)
      & has_emb(R_0009_0014__AFRAID,R_0009_0016__NEED)
      & r_0009_0016__need(R_0009_0016__NEED)
      & has_arg1(R_0009_0016__NEED,R_0009_0018__HELP)
      & r_0009_0018__help(R_0009_0018__HELP)
      & has_gen(R_0009_0018__HELP,R_0009_0017__YOUR)
      & has_arg0(R_0009_0016__NEED,R_0009_0007__ME)
      & has_arg0(R_0009_0013__AM,R_0009_0007__ME)
      & has_conj2(R_0009_0011__SO,R_0009_0005__NOT)
      & ~ ? [R_0009_0001__UNFORTUNATELY,R_0009_0003__HE,R_0009_0008__MUCH,R_0009_0009__INFORMATION,R_0009_0004__HAS_R_0009_0006__LEFT] :
            ( r_0009_0001__Unfortunately(R_0009_0001__UNFORTUNATELY)
            & r_0009_0003__he(R_0009_0003__HE)
            & r_0009_0008__much(R_0009_0008__MUCH)
            & r_0009_0004__has_r_0009_0006__left(R_0009_0004__HAS_R_0009_0006__LEFT)
            & has_arg1(R_0009_0004__HAS_R_0009_0006__LEFT,R_0009_0009__INFORMATION)
            & r_0009_0009__information(R_0009_0009__INFORMATION)
            & has_attrib(R_0009_0009__INFORMATION,R_0009_0008__MUCH)
            & has_arg2(R_0009_0004__HAS_R_0009_0006__LEFT,R_0009_0007__ME)
            & has_arg0(R_0009_0004__HAS_R_0009_0006__LEFT,R_0009_0003__HE)
            & has_nim(R_0009_0004__HAS_R_0009_0006__LEFT,R_0009_0001__UNFORTUNATELY) ) ) ).