( (FRAG (ILYR (ILYR (NEG Not;{not})
                    (ADVP-NIM (ADV back;{back}))
                    (PP-NIM (P-ROLE to;{to})
                            (NP;{LAYLOR} (NPR Laylor;{Laylor}))))
              (CONJP (CONJ but;{but})
                     (ILYR (PP-NIM (P-ROLE up;{up})
                                   (NP (D the;{the})
                                       (NS stairs;{stair})))
                           (PP-NIM (P-ROLE to;{to})
                                   (NP (D the;{the})
                                       (N exit;{exit}))))))
        (PUNC .))
  (ID 197_a_loosechange))

arc(r_0197_0001__Not,z_0197_5003,keep_scope).
arc(r_0197_0005__but,r_0197_0001__Not,conj1).
arc(r_0197_0005__but,z_0197_5007,conj2).
arc(z_0197_5003,r_0197_0002__back,nim).
arc(z_0197_5003,r_0197_0004__Laylor,r_0197_0003__to__nim).
arc(z_0197_5007,r_0197_0007__the_r_0197_0008__stairs,r_0197_0006__up__nim).
arc(z_0197_5007,r_0197_0010__the_r_0197_0011__exit,r_0197_0009__to__nim).

fof(formula,axiom,
    ? [R_0197_0007__THE_R_0197_0008__STAIRS,R_0197_0010__THE_R_0197_0011__EXIT,Z_0197_5007,R_0197_0005__BUT] :
      ( r_0197_0007__the_r_0197_0008__stairs(R_0197_0007__THE_R_0197_0008__STAIRS)
      & r_0197_0010__the_r_0197_0011__exit(R_0197_0010__THE_R_0197_0011__EXIT)
      & r_0197_0005__but(R_0197_0005__BUT)
      & has_conj2(R_0197_0005__BUT,Z_0197_5007)
      & z_0197_5007(Z_0197_5007)
      & has_r_0197_0009__to__nim(Z_0197_5007,R_0197_0010__THE_R_0197_0011__EXIT)
      & has_r_0197_0006__up__nim(Z_0197_5007,R_0197_0007__THE_R_0197_0008__STAIRS)
      & has_conj1(R_0197_0005__BUT,R_0197_0001__NOT)
      & ~ ? [R_0197_0002__BACK,R_0197_0004__LAYLOR,Z_0197_5003] :
            ( r_0197_0002__back(R_0197_0002__BACK)
            & r_0197_0004__Laylor(R_0197_0004__LAYLOR)
            & z_0197_5003(Z_0197_5003)
            & has_r_0197_0003__to__nim(Z_0197_5003,R_0197_0004__LAYLOR)
            & has_nim(Z_0197_5003,R_0197_0002__BACK) ) ) ).