Context                Previous, Next                Top


71_a_saint_exupery_1943
I do not want an elephant inside a boa constrictor.

%3 r_0071_0002__do_r_0071_0004__want do want r_0071_0001__I I r_0071_0002__do_r_0071_0004__want->r_0071_0001__I [arg0] r_0071_0005__an_r_0071_0006__elephant an elephant r_0071_0002__do_r_0071_0004__want->r_0071_0005__an_r_0071_0006__elephant [arg1] r_0071_0008__a_r_0071_0009__boa_r_0071_0010__constrictor a boa constrictor r_0071_0005__an_r_0071_0006__elephant->r_0071_0008__a_r_0071_0009__boa_r_0071_0010__constrictor inside r_0071_0003__not not r_0071_0003__not->r_0071_0002__do_r_0071_0004__want [keep_scope] 
arc(r_0071_0002__do_r_0071_0004__want, r_0071_0001__I, arg0).
arc(r_0071_0002__do_r_0071_0004__want, r_0071_0005__an_r_0071_0006__elephant, arg1).
arc(r_0071_0003__not, r_0071_0002__do_r_0071_0004__want, keep_scope).
arc(r_0071_0005__an_r_0071_0006__elephant, r_0071_0008__a_r_0071_0009__boa_r_0071_0010__constrictor, r_0071_0007__inside).


%3 r_0071_0002__do_r_0071_0004__want do want r_0071_0001__I I r_0071_0002__do_r_0071_0004__want->r_0071_0001__I [arg0] r_0071_0005__an_r_0071_0006__elephant an elephant r_0071_0002__do_r_0071_0004__want->r_0071_0005__an_r_0071_0006__elephant [arg1] r_0071_0008__a_r_0071_0009__boa_r_0071_0010__constrictor a boa constrictor r_0071_0005__an_r_0071_0006__elephant->r_0071_0008__a_r_0071_0009__boa_r_0071_0010__constrictor inside r_0071_0003__not not r_0071_0003__not->r_0071_0002__do_r_0071_0004__want [keep_scope] 
fof(formula,axiom,
    ~ ? [R_71_2_DO_WANT,R_71_1_I,R_71_5_AN_ELEPHANT,R_71_8_A_BOA_CONSTRICTOR] :
        ( i(R_71_1_I)
        & a_boa_constrictor(R_71_8_A_BOA_CONSTRICTOR)
        & do_want(R_71_2_DO_WANT,R_71_1_I,R_71_5_AN_ELEPHANT)
        & an_elephant(R_71_5_AN_ELEPHANT)
        & inside(R_71_5_AN_ELEPHANT,R_71_8_A_BOA_CONSTRICTOR) ) ).


n71_a_saint_exupery_1943 n71_a_saint_exupery_1943_4 I n71_a_saint_exupery_1943_6 do n71_a_saint_exupery_1943_8 not n71_a_saint_exupery_1943_10 want n71_a_saint_exupery_1943_13 an n71_a_saint_exupery_1943_15 elephant n71_a_saint_exupery_1943_18 inside n71_a_saint_exupery_1943_21 a n71_a_saint_exupery_1943_23 boa n71_a_saint_exupery_1943_25 constrictor n71_a_saint_exupery_1943_27 . n71_a_saint_exupery_1943_1 IP-MAT n71_a_saint_exupery_1943_2 NP-SBJ n71_a_saint_exupery_1943_1->n71_a_saint_exupery_1943_2 n71_a_saint_exupery_1943_5 DOP n71_a_saint_exupery_1943_1->n71_a_saint_exupery_1943_5 n71_a_saint_exupery_1943_7 NEG n71_a_saint_exupery_1943_1->n71_a_saint_exupery_1943_7 n71_a_saint_exupery_1943_9 VB;__ n71_a_saint_exupery_1943_1->n71_a_saint_exupery_1943_9 n71_a_saint_exupery_1943_11 NP-OB1 n71_a_saint_exupery_1943_1->n71_a_saint_exupery_1943_11 n71_a_saint_exupery_1943_26 PUNC n71_a_saint_exupery_1943_1->n71_a_saint_exupery_1943_26 n71_a_saint_exupery_1943_3 PRO n71_a_saint_exupery_1943_2->n71_a_saint_exupery_1943_3 n71_a_saint_exupery_1943_3->n71_a_saint_exupery_1943_4 n71_a_saint_exupery_1943_5->n71_a_saint_exupery_1943_6 n71_a_saint_exupery_1943_7->n71_a_saint_exupery_1943_8 n71_a_saint_exupery_1943_9->n71_a_saint_exupery_1943_10 n71_a_saint_exupery_1943_12 D n71_a_saint_exupery_1943_11->n71_a_saint_exupery_1943_12 n71_a_saint_exupery_1943_14 N n71_a_saint_exupery_1943_11->n71_a_saint_exupery_1943_14 n71_a_saint_exupery_1943_16 PP n71_a_saint_exupery_1943_11->n71_a_saint_exupery_1943_16 n71_a_saint_exupery_1943_12->n71_a_saint_exupery_1943_13 n71_a_saint_exupery_1943_14->n71_a_saint_exupery_1943_15 n71_a_saint_exupery_1943_17 P-ROLE n71_a_saint_exupery_1943_16->n71_a_saint_exupery_1943_17 n71_a_saint_exupery_1943_19 NP n71_a_saint_exupery_1943_16->n71_a_saint_exupery_1943_19 n71_a_saint_exupery_1943_17->n71_a_saint_exupery_1943_18 n71_a_saint_exupery_1943_20 D n71_a_saint_exupery_1943_19->n71_a_saint_exupery_1943_20 n71_a_saint_exupery_1943_22 N n71_a_saint_exupery_1943_19->n71_a_saint_exupery_1943_22 n71_a_saint_exupery_1943_24 N n71_a_saint_exupery_1943_19->n71_a_saint_exupery_1943_24 n71_a_saint_exupery_1943_20->n71_a_saint_exupery_1943_21 n71_a_saint_exupery_1943_22->n71_a_saint_exupery_1943_23 n71_a_saint_exupery_1943_24->n71_a_saint_exupery_1943_25 n71_a_saint_exupery_1943_26->n71_a_saint_exupery_1943_27 
( (IP-MAT (NP-SBJ;{PRINCE} (PRO I;{I}))
          (DOP do;{do})
          (NEG not;{not})
          (VB;__ want;{want})
          (NP-OB1 (D an;{an})
                  (N elephant;{elephant})
                  (PP (P-ROLE inside;{inside})
                      (NP (D a;{a})
                          (N boa;{boa})
                          (N constrictor;{constrictor}))))
          (PUNC .))
  (ID 71_a_saint_exupery_1943))