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_0005__an_r_0071_0006__elephant an elephant 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_0002__do_r_0071_0004__want do want r_0071_0003__not->r_0071_0002__do_r_0071_0004__want [keep_scope] r_0071_0002__do_r_0071_0004__want->r_0071_0005__an_r_0071_0006__elephant [arg1] r_0071_0001__I I r_0071_0002__do_r_0071_0004__want->r_0071_0001__I [arg0] 
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__1_1_1_1 I n71_a_saint_exupery_1943__1_2_1 do n71_a_saint_exupery_1943__1_3_1 not n71_a_saint_exupery_1943__1_4_1 want n71_a_saint_exupery_1943__1_5_1_1 an n71_a_saint_exupery_1943__1_5_2_1 elephant n71_a_saint_exupery_1943__1_5_3_1_1 inside n71_a_saint_exupery_1943__1_5_3_2_1_1 a n71_a_saint_exupery_1943__1_5_3_2_2_1 boa n71_a_saint_exupery_1943__1_5_3_2_3_1 constrictor n71_a_saint_exupery_1943__1_6_1 . n71_a_saint_exupery_1943__1 IP-MAT n71_a_saint_exupery_1943__1_1 NP-SBJ n71_a_saint_exupery_1943__1->n71_a_saint_exupery_1943__1_1 n71_a_saint_exupery_1943__1_2 DOP n71_a_saint_exupery_1943__1->n71_a_saint_exupery_1943__1_2 n71_a_saint_exupery_1943__1_3 NEG n71_a_saint_exupery_1943__1->n71_a_saint_exupery_1943__1_3 n71_a_saint_exupery_1943__1_4 VB;__ n71_a_saint_exupery_1943__1->n71_a_saint_exupery_1943__1_4 n71_a_saint_exupery_1943__1_5 NP-OB1 n71_a_saint_exupery_1943__1->n71_a_saint_exupery_1943__1_5 n71_a_saint_exupery_1943__1_6 PUNC n71_a_saint_exupery_1943__1->n71_a_saint_exupery_1943__1_6 n71_a_saint_exupery_1943__1_1_1 PRO n71_a_saint_exupery_1943__1_1->n71_a_saint_exupery_1943__1_1_1 n71_a_saint_exupery_1943__1_1_1->n71_a_saint_exupery_1943__1_1_1_1 n71_a_saint_exupery_1943__1_2->n71_a_saint_exupery_1943__1_2_1 n71_a_saint_exupery_1943__1_3->n71_a_saint_exupery_1943__1_3_1 n71_a_saint_exupery_1943__1_4->n71_a_saint_exupery_1943__1_4_1 n71_a_saint_exupery_1943__1_5_1 D n71_a_saint_exupery_1943__1_5->n71_a_saint_exupery_1943__1_5_1 n71_a_saint_exupery_1943__1_5_2 N n71_a_saint_exupery_1943__1_5->n71_a_saint_exupery_1943__1_5_2 n71_a_saint_exupery_1943__1_5_3 PP n71_a_saint_exupery_1943__1_5->n71_a_saint_exupery_1943__1_5_3 n71_a_saint_exupery_1943__1_5_1->n71_a_saint_exupery_1943__1_5_1_1 n71_a_saint_exupery_1943__1_5_2->n71_a_saint_exupery_1943__1_5_2_1 n71_a_saint_exupery_1943__1_5_3_1 P-ROLE n71_a_saint_exupery_1943__1_5_3->n71_a_saint_exupery_1943__1_5_3_1 n71_a_saint_exupery_1943__1_5_3_2 NP n71_a_saint_exupery_1943__1_5_3->n71_a_saint_exupery_1943__1_5_3_2 n71_a_saint_exupery_1943__1_5_3_1->n71_a_saint_exupery_1943__1_5_3_1_1 n71_a_saint_exupery_1943__1_5_3_2_1 D n71_a_saint_exupery_1943__1_5_3_2->n71_a_saint_exupery_1943__1_5_3_2_1 n71_a_saint_exupery_1943__1_5_3_2_2 N n71_a_saint_exupery_1943__1_5_3_2->n71_a_saint_exupery_1943__1_5_3_2_2 n71_a_saint_exupery_1943__1_5_3_2_3 N n71_a_saint_exupery_1943__1_5_3_2->n71_a_saint_exupery_1943__1_5_3_2_3 n71_a_saint_exupery_1943__1_5_3_2_1->n71_a_saint_exupery_1943__1_5_3_2_1_1 n71_a_saint_exupery_1943__1_5_3_2_2->n71_a_saint_exupery_1943__1_5_3_2_2_1 n71_a_saint_exupery_1943__1_5_3_2_3->n71_a_saint_exupery_1943__1_5_3_2_3_1 n71_a_saint_exupery_1943__1_6->n71_a_saint_exupery_1943__1_6_1 
( (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))