( (IP-MAT (NP-SBJ;{STEPHEN+RUSSELL} (NLYR (NLYR (NPR Stephen;{Stephen}))
                                          (CONJP (CONJ and;{and})
                                                 (NLYR (NPR Russell;{Russell})))))
          (ILYR (ILYR (DOD did;{do})
                      (NEG;_clitic_ n<apos>t;{not})
                      (VB;_Dpr.f_ say;{say[to]})
                      (PP-OB2 (P-ROLE to;{to})
                              (NP (D the;{the})
                                  (N man;{man})))
                      (CP-THT-OB1 (IP-SUB (C that;{that})
                                          (NP-SBJ;{STEPHEN+RUSSELL} (PRO they;{they}))
                                          (BED;_La_ were;{be})
                                          (ADJP-PRD (ADJ sorry;{sorry})))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (ADVP-NIM (ADV just;{just}))
                             (VBD;_I_ fled;{flee}))))
          (PUNC .))
  (ID 11_a_stories_11_h38))

arc(r_0011_0002__and,r_0011_0001__Stephen,conj1).
arc(r_0011_0002__and,r_0011_0003__Russell,conj2).
arc(r_0011_0004__did_r_0011_0006__say_r_0011_0007__to,r_0011_0002__and,arg0).
arc(r_0011_0004__did_r_0011_0006__say_r_0011_0007__to,r_0011_0008__the_r_0011_0009__man,arg2).
arc(r_0011_0004__did_r_0011_0006__say_r_0011_0007__to,r_0011_0012__were,arg1).
arc(r_0011_0005__n_apos_t,r_0011_0004__did_r_0011_0006__say_r_0011_0007__to,keep_scope).
arc(r_0011_0012__were,r_0011_0002__and,arg0).
arc(r_0011_0012__were,r_0011_0013__sorry,prd).
arc(r_0011_0015__but,r_0011_0005__n_apos_t,conj1).
arc(r_0011_0015__but,r_0011_0017__fled,conj2).
arc(r_0011_0017__fled,r_0011_0002__and,arg0).
arc(r_0011_0017__fled,r_0011_0016__just,nim).

fof(formula,axiom,
    ? [R_0011_0001__STEPHEN,R_0011_0003__RUSSELL,R_0011_0002__AND,R_0011_0016__JUST,R_0011_0017__FLED,R_0011_0015__BUT] :
      ( r_0011_0001__Stephen(R_0011_0001__STEPHEN)
      & r_0011_0003__Russell(R_0011_0003__RUSSELL)
      & r_0011_0016__just(R_0011_0016__JUST)
      & r_0011_0015__but(R_0011_0015__BUT)
      & has_conj2(R_0011_0015__BUT,R_0011_0017__FLED)
      & r_0011_0017__fled(R_0011_0017__FLED)
      & has_nim(R_0011_0017__FLED,R_0011_0016__JUST)
      & has_arg0(R_0011_0017__FLED,R_0011_0002__AND)
      & r_0011_0002__and(R_0011_0002__AND)
      & has_conj2(R_0011_0002__AND,R_0011_0003__RUSSELL)
      & has_conj1(R_0011_0002__AND,R_0011_0001__STEPHEN)
      & has_conj1(R_0011_0015__BUT,R_0011_0005__N_APOS_T)
      & ~ ? [R_0011_0008__THE_R_0011_0009__MAN,R_0011_0013__SORRY,R_0011_0012__WERE,R_0011_0004__DID_R_0011_0006__SAY_R_0011_0007__TO] :
            ( r_0011_0008__the_r_0011_0009__man(R_0011_0008__THE_R_0011_0009__MAN)
            & r_0011_0013__sorry(R_0011_0013__SORRY)
            & r_0011_0004__did_r_0011_0006__say_r_0011_0007__to(R_0011_0004__DID_R_0011_0006__SAY_R_0011_0007__TO)
            & has_arg1(R_0011_0004__DID_R_0011_0006__SAY_R_0011_0007__TO,R_0011_0012__WERE)
            & r_0011_0012__were(R_0011_0012__WERE)
            & has_prd(R_0011_0012__WERE,R_0011_0013__SORRY)
            & has_arg0(R_0011_0012__WERE,R_0011_0002__AND)
            & has_arg2(R_0011_0004__DID_R_0011_0006__SAY_R_0011_0007__TO,R_0011_0008__THE_R_0011_0009__MAN)
            & has_arg0(R_0011_0004__DID_R_0011_0006__SAY_R_0011_0007__TO,R_0011_0002__AND) ) ) ).