Context                Previous, Next                Top


71_a_saint_exupery_1943
I do not want an elephant inside 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))


%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] 
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_0071_0001__I,R_0071_0008__A_R_0071_0009__BOA_R_0071_0010__CONSTRICTOR,R_0071_0005__AN_R_0071_0006__ELEPHANT,R_0071_0002__DO_R_0071_0004__WANT] :
        ( r_0071_0001__I(R_0071_0001__I)
        & r_0071_0008__a_r_0071_0009__boa_r_0071_0010__constrictor(R_0071_0008__A_R_0071_0009__BOA_R_0071_0010__CONSTRICTOR)
        & r_0071_0002__do_r_0071_0004__want(R_0071_0002__DO_R_0071_0004__WANT)
        & has_arg1(R_0071_0002__DO_R_0071_0004__WANT,R_0071_0005__AN_R_0071_0006__ELEPHANT)
        & r_0071_0005__an_r_0071_0006__elephant(R_0071_0005__AN_R_0071_0006__ELEPHANT)
        & has_r_0071_0007__inside(R_0071_0005__AN_R_0071_0006__ELEPHANT,R_0071_0008__A_R_0071_0009__BOA_R_0071_0010__CONSTRICTOR)
        & has_arg0(R_0071_0002__DO_R_0071_0004__WANT,R_0071_0001__I) ) ).