Context                Previous, Next                Top


197_a_loosechange
Not back to Laylor but up the stairs to the exit.

%3 r_0197_0001__Not Not z_000_197_a_loosechange_3 r_0197_0001__Not->z_000_197_a_loosechange_3 [keep_scope] r_0197_0002__back back z_000_197_a_loosechange_3->r_0197_0002__back [nim] r_0197_0004__Laylor Laylor z_000_197_a_loosechange_3->r_0197_0004__Laylor to [nim] r_0197_0005__but but r_0197_0005__but->r_0197_0001__Not [conj1] z_000_197_a_loosechange_18 r_0197_0005__but->z_000_197_a_loosechange_18 [conj2] r_0197_0007__the_r_0197_0008__stairs the stairs z_000_197_a_loosechange_18->r_0197_0007__the_r_0197_0008__stairs up [nim] r_0197_0010__the_r_0197_0011__exit the exit z_000_197_a_loosechange_18->r_0197_0010__the_r_0197_0011__exit to [nim] 
arc(r_0197_0001__Not, z_000_197_a_loosechange_3, keep_scope).
arc(r_0197_0005__but, r_0197_0001__Not, conj1).
arc(r_0197_0005__but, z_000_197_a_loosechange_18, conj2).
arc(z_000_197_a_loosechange_18, r_0197_0007__the_r_0197_0008__stairs, r_0197_0006__up_nim22).
arc(z_000_197_a_loosechange_18, r_0197_0010__the_r_0197_0011__exit, r_0197_0009__to_nim30).
arc(z_000_197_a_loosechange_3, r_0197_0002__back, nim6).
arc(z_000_197_a_loosechange_3, r_0197_0004__Laylor, r_0197_0003__to_nim12).


%3 z_000_197_a_loosechange_3 r_0197_0004__Laylor Laylor z_000_197_a_loosechange_3->r_0197_0004__Laylor to [nim] r_0197_0002__back back z_000_197_a_loosechange_3->r_0197_0002__back [nim] z_000_197_a_loosechange_18 r_0197_0010__the_r_0197_0011__exit the exit z_000_197_a_loosechange_18->r_0197_0010__the_r_0197_0011__exit to [nim] r_0197_0007__the_r_0197_0008__stairs the stairs z_000_197_a_loosechange_18->r_0197_0007__the_r_0197_0008__stairs up [nim] r_0197_0005__but but r_0197_0005__but->z_000_197_a_loosechange_18 [conj2] r_0197_0001__Not Not r_0197_0005__but->r_0197_0001__Not [conj1] r_0197_0001__Not->z_000_197_a_loosechange_3 [keep_scope] 
fof(formula,axiom,
    ? [R_197_5_BUT,Z_197_A_LOOSECHANGE_18,R_197_7_THE_STAIRS,R_197_10_THE_EXIT] :
      ( the_stairs(R_197_7_THE_STAIRS)
      & the_exit(R_197_10_THE_EXIT)
      & but(R_197_5_BUT)
      & conj1(R_197_5_BUT,R_197_1_NOT)
      & ~ ? [Z_197_A_LOOSECHANGE_3,R_197_2_BACK,R_197_4_LAYLOR] :
            ( back(R_197_2_BACK)
            & laylor(R_197_4_LAYLOR)
            & z_197_a_loosechange_3(Z_197_A_LOOSECHANGE_3)
            & nim6(Z_197_A_LOOSECHANGE_3,R_197_2_BACK)
            & to_nim12(Z_197_A_LOOSECHANGE_3,R_197_4_LAYLOR) )
      & conj2(R_197_5_BUT,Z_197_A_LOOSECHANGE_18)
      & z_197_a_loosechange_18(Z_197_A_LOOSECHANGE_18)
      & up_nim22(Z_197_A_LOOSECHANGE_18,R_197_7_THE_STAIRS)
      & to_nim30(Z_197_A_LOOSECHANGE_18,R_197_10_THE_EXIT) ) ).


n197_a_loosechange n197_a_loosechange__1_1_1_1_1 Not n197_a_loosechange__1_1_1_2_1_1 back n197_a_loosechange__1_1_1_3_1_1 to n197_a_loosechange__1_1_1_3_2_1_1 Laylor n197_a_loosechange__1_1_2_1_1 but n197_a_loosechange__1_1_2_2_1_1_1 up n197_a_loosechange__1_1_2_2_1_2_1_1 the n197_a_loosechange__1_1_2_2_1_2_2_1 stairs n197_a_loosechange__1_1_2_2_2_1_1 to n197_a_loosechange__1_1_2_2_2_2_1_1 the n197_a_loosechange__1_1_2_2_2_2_2_1 exit n197_a_loosechange__1_2_1 . n197_a_loosechange__1 FRAG n197_a_loosechange__1_1 ILYR n197_a_loosechange__1->n197_a_loosechange__1_1 n197_a_loosechange__1_2 PUNC n197_a_loosechange__1->n197_a_loosechange__1_2 n197_a_loosechange__1_1_1 ILYR n197_a_loosechange__1_1->n197_a_loosechange__1_1_1 n197_a_loosechange__1_1_2 CONJP n197_a_loosechange__1_1->n197_a_loosechange__1_1_2 n197_a_loosechange__1_1_1_1 NEG n197_a_loosechange__1_1_1->n197_a_loosechange__1_1_1_1 n197_a_loosechange__1_1_1_2 ADVP-NIM n197_a_loosechange__1_1_1->n197_a_loosechange__1_1_1_2 n197_a_loosechange__1_1_1_3 PP-NIM n197_a_loosechange__1_1_1->n197_a_loosechange__1_1_1_3 n197_a_loosechange__1_1_1_1->n197_a_loosechange__1_1_1_1_1 n197_a_loosechange__1_1_1_2_1 ADV n197_a_loosechange__1_1_1_2->n197_a_loosechange__1_1_1_2_1 n197_a_loosechange__1_1_1_2_1->n197_a_loosechange__1_1_1_2_1_1 n197_a_loosechange__1_1_1_3_1 P-ROLE n197_a_loosechange__1_1_1_3->n197_a_loosechange__1_1_1_3_1 n197_a_loosechange__1_1_1_3_2 NP n197_a_loosechange__1_1_1_3->n197_a_loosechange__1_1_1_3_2 n197_a_loosechange__1_1_1_3_1->n197_a_loosechange__1_1_1_3_1_1 n197_a_loosechange__1_1_1_3_2_1 NPR n197_a_loosechange__1_1_1_3_2->n197_a_loosechange__1_1_1_3_2_1 n197_a_loosechange__1_1_1_3_2_1->n197_a_loosechange__1_1_1_3_2_1_1 n197_a_loosechange__1_1_2_1 CONJ n197_a_loosechange__1_1_2->n197_a_loosechange__1_1_2_1 n197_a_loosechange__1_1_2_2 ILYR n197_a_loosechange__1_1_2->n197_a_loosechange__1_1_2_2 n197_a_loosechange__1_1_2_1->n197_a_loosechange__1_1_2_1_1 n197_a_loosechange__1_1_2_2_1 PP-NIM n197_a_loosechange__1_1_2_2->n197_a_loosechange__1_1_2_2_1 n197_a_loosechange__1_1_2_2_2 PP-NIM n197_a_loosechange__1_1_2_2->n197_a_loosechange__1_1_2_2_2 n197_a_loosechange__1_1_2_2_1_1 P-ROLE n197_a_loosechange__1_1_2_2_1->n197_a_loosechange__1_1_2_2_1_1 n197_a_loosechange__1_1_2_2_1_2 NP n197_a_loosechange__1_1_2_2_1->n197_a_loosechange__1_1_2_2_1_2 n197_a_loosechange__1_1_2_2_1_1->n197_a_loosechange__1_1_2_2_1_1_1 n197_a_loosechange__1_1_2_2_1_2_1 D n197_a_loosechange__1_1_2_2_1_2->n197_a_loosechange__1_1_2_2_1_2_1 n197_a_loosechange__1_1_2_2_1_2_2 NS n197_a_loosechange__1_1_2_2_1_2->n197_a_loosechange__1_1_2_2_1_2_2 n197_a_loosechange__1_1_2_2_1_2_1->n197_a_loosechange__1_1_2_2_1_2_1_1 n197_a_loosechange__1_1_2_2_1_2_2->n197_a_loosechange__1_1_2_2_1_2_2_1 n197_a_loosechange__1_1_2_2_2_1 P-ROLE n197_a_loosechange__1_1_2_2_2->n197_a_loosechange__1_1_2_2_2_1 n197_a_loosechange__1_1_2_2_2_2 NP n197_a_loosechange__1_1_2_2_2->n197_a_loosechange__1_1_2_2_2_2 n197_a_loosechange__1_1_2_2_2_1->n197_a_loosechange__1_1_2_2_2_1_1 n197_a_loosechange__1_1_2_2_2_2_1 D n197_a_loosechange__1_1_2_2_2_2->n197_a_loosechange__1_1_2_2_2_2_1 n197_a_loosechange__1_1_2_2_2_2_2 N n197_a_loosechange__1_1_2_2_2_2->n197_a_loosechange__1_1_2_2_2_2_2 n197_a_loosechange__1_1_2_2_2_2_1->n197_a_loosechange__1_1_2_2_2_2_1_1 n197_a_loosechange__1_1_2_2_2_2_2->n197_a_loosechange__1_1_2_2_2_2_2_1 n197_a_loosechange__1_2->n197_a_loosechange__1_2_1 
( (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))