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 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] 
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_5 Not n197_a_loosechange_8 back n197_a_loosechange_11 to n197_a_loosechange_14 Laylor n197_a_loosechange_17 but n197_a_loosechange_21 up n197_a_loosechange_24 the n197_a_loosechange_26 stairs n197_a_loosechange_29 to n197_a_loosechange_32 the n197_a_loosechange_34 exit n197_a_loosechange_36 . n197_a_loosechange_1 FRAG n197_a_loosechange_2 ILYR n197_a_loosechange_1->n197_a_loosechange_2 n197_a_loosechange_35 PUNC n197_a_loosechange_1->n197_a_loosechange_35 n197_a_loosechange_3 ILYR n197_a_loosechange_2->n197_a_loosechange_3 n197_a_loosechange_15 CONJP n197_a_loosechange_2->n197_a_loosechange_15 n197_a_loosechange_4 NEG n197_a_loosechange_3->n197_a_loosechange_4 n197_a_loosechange_6 ADVP-NIM n197_a_loosechange_3->n197_a_loosechange_6 n197_a_loosechange_9 PP-NIM n197_a_loosechange_3->n197_a_loosechange_9 n197_a_loosechange_4->n197_a_loosechange_5 n197_a_loosechange_7 ADV n197_a_loosechange_6->n197_a_loosechange_7 n197_a_loosechange_7->n197_a_loosechange_8 n197_a_loosechange_10 P-ROLE n197_a_loosechange_9->n197_a_loosechange_10 n197_a_loosechange_12 NP n197_a_loosechange_9->n197_a_loosechange_12 n197_a_loosechange_10->n197_a_loosechange_11 n197_a_loosechange_13 NPR n197_a_loosechange_12->n197_a_loosechange_13 n197_a_loosechange_13->n197_a_loosechange_14 n197_a_loosechange_16 CONJ n197_a_loosechange_15->n197_a_loosechange_16 n197_a_loosechange_18 ILYR n197_a_loosechange_15->n197_a_loosechange_18 n197_a_loosechange_16->n197_a_loosechange_17 n197_a_loosechange_19 PP-NIM n197_a_loosechange_18->n197_a_loosechange_19 n197_a_loosechange_27 PP-NIM n197_a_loosechange_18->n197_a_loosechange_27 n197_a_loosechange_20 P-ROLE n197_a_loosechange_19->n197_a_loosechange_20 n197_a_loosechange_22 NP n197_a_loosechange_19->n197_a_loosechange_22 n197_a_loosechange_20->n197_a_loosechange_21 n197_a_loosechange_23 D n197_a_loosechange_22->n197_a_loosechange_23 n197_a_loosechange_25 NS n197_a_loosechange_22->n197_a_loosechange_25 n197_a_loosechange_23->n197_a_loosechange_24 n197_a_loosechange_25->n197_a_loosechange_26 n197_a_loosechange_28 P-ROLE n197_a_loosechange_27->n197_a_loosechange_28 n197_a_loosechange_30 NP n197_a_loosechange_27->n197_a_loosechange_30 n197_a_loosechange_28->n197_a_loosechange_29 n197_a_loosechange_31 D n197_a_loosechange_30->n197_a_loosechange_31 n197_a_loosechange_33 N n197_a_loosechange_30->n197_a_loosechange_33 n197_a_loosechange_31->n197_a_loosechange_32 n197_a_loosechange_33->n197_a_loosechange_34 n197_a_loosechange_35->n197_a_loosechange_36 
( (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))