Context                Previous, Next                Top


96_a_saint_exupery_1943
“Because where I live everything is very small...”

%3 r_0096_0002__Because Because r_0096_0006__everything_quant everything [quant] r_0096_0002__Because->r_0096_0006__everything_quant [restriction] z_000_96_a_saint_exupery_1943_1 r_0096_0002__Because->z_000_96_a_saint_exupery_1943_1 [scope] r_0096_0007__is is r_0096_0006__everything_quant->r_0096_0007__is [scope] z_000_96_a_saint_exupery_1943_18 r_0096_0006__everything_quant->z_000_96_a_saint_exupery_1943_18 [restriction] r_0096_0005__live live r_0096_0004__I I r_0096_0005__live->r_0096_0004__I [arg0] z_000_96_a_saint_exupery_1943_8 r_0096_0005__live->z_000_96_a_saint_exupery_1943_8 [nim] r_0096_0007__is->z_000_96_a_saint_exupery_1943_8 [nim] r_0096_0007__is->z_000_96_a_saint_exupery_1943_18 [arg0] r_0096_0009__small small r_0096_0007__is->r_0096_0009__small [prd] r_0096_0008__very very r_0096_0009__small->r_0096_0008__very [qual] 
arc(r_0096_0002__Because, r_0096_0006__everything_quant, restriction).
arc(r_0096_0002__Because, z_000_96_a_saint_exupery_1943_1, scope).
arc(r_0096_0005__live, r_0096_0004__I, arg0).
arc(r_0096_0005__live, z_000_96_a_saint_exupery_1943_8, nim10).
arc(r_0096_0006__everything_quant, r_0096_0007__is, scope).
arc(r_0096_0006__everything_quant, z_000_96_a_saint_exupery_1943_18, restriction).
arc(r_0096_0007__is, r_0096_0009__small, prd).
arc(r_0096_0007__is, z_000_96_a_saint_exupery_1943_18, arg0).
arc(r_0096_0007__is, z_000_96_a_saint_exupery_1943_8, nim8).
arc(r_0096_0009__small, r_0096_0008__very, qual24).


%3 r_0096_0009__small small r_0096_0008__very very r_0096_0009__small->r_0096_0008__very [qual] r_0096_0007__is is r_0096_0007__is->r_0096_0009__small [prd] z_000_96_a_saint_exupery_1943_8 r_0096_0007__is->z_000_96_a_saint_exupery_1943_8 [nim] z_000_96_a_saint_exupery_1943_18 r_0096_0007__is->z_000_96_a_saint_exupery_1943_18 [arg0] r_0096_0006__everything_quant everything [quant] r_0096_0006__everything_quant->r_0096_0007__is [scope] r_0096_0006__everything_quant->z_000_96_a_saint_exupery_1943_18 [restriction] r_0096_0005__live live r_0096_0005__live->z_000_96_a_saint_exupery_1943_8 [nim] r_0096_0004__I I r_0096_0005__live->r_0096_0004__I [arg0] r_0096_0002__Because Because r_0096_0002__Because->r_0096_0006__everything_quant [conj1] z_000_96_a_saint_exupery_1943_1 r_0096_0002__Because->z_000_96_a_saint_exupery_1943_1 [conj2] 
fof(formula,axiom,
    ? [Z_000_96_A_SAINT_EXUPERY_1943_1,R_0096_0002__BECAUSE,R_0096_0004__I,Z_000_96_A_SAINT_EXUPERY_1943_8,R_0096_0005__LIVE] :
      ( r_0096_0004__I(R_0096_0004__I)
      & z_000_96_a_saint_exupery_1943_1(Z_000_96_A_SAINT_EXUPERY_1943_1)
      & z_000_96_a_saint_exupery_1943_8(Z_000_96_A_SAINT_EXUPERY_1943_8)
      & r_0096_0005__live(R_0096_0005__LIVE)
      & has_nim10(R_0096_0005__LIVE,Z_000_96_A_SAINT_EXUPERY_1943_8)
      & has_arg0(R_0096_0005__LIVE,R_0096_0004__I)
      & r_0096_0002__Because(R_0096_0002__BECAUSE)
      & has_conj2(R_0096_0002__BECAUSE,Z_000_96_A_SAINT_EXUPERY_1943_1)
      & ! [Z_000_96_A_SAINT_EXUPERY_1943_18] :
          ( z_000_96_a_saint_exupery_1943_18(Z_000_96_A_SAINT_EXUPERY_1943_18)
         => ? [R_0096_0008__VERY,R_0096_0009__SMALL,R_0096_0007__IS] :
              ( r_0096_0008__very(R_0096_0008__VERY)
              & r_0096_0007__is(R_0096_0007__IS)
              & has_nim8(R_0096_0007__IS,Z_000_96_A_SAINT_EXUPERY_1943_8)
              & has_arg0(R_0096_0007__IS,Z_000_96_A_SAINT_EXUPERY_1943_18)
              & has_prd(R_0096_0007__IS,R_0096_0009__SMALL)
              & r_0096_0009__small(R_0096_0009__SMALL)
              & has_qual24(R_0096_0009__SMALL,R_0096_0008__VERY) ) ) ) ).


n96_a_saint_exupery_1943 n96_a_saint_exupery_1943__1_1_1 <ldquo> n96_a_saint_exupery_1943__1_2_1_1 Because n96_a_saint_exupery_1943__1_2_2_1_1_1_1_1 where n96_a_saint_exupery_1943__1_2_2_1_1_2_1_1 I n96_a_saint_exupery_1943__1_2_2_1_1_3_1 live n96_a_saint_exupery_1943__1_2_2_2_1_1 everything n96_a_saint_exupery_1943__1_2_2_3_1 is n96_a_saint_exupery_1943__1_2_2_4_1_1_1 very n96_a_saint_exupery_1943__1_2_2_4_2_1 small n96_a_saint_exupery_1943__1_3_1 ... n96_a_saint_exupery_1943__1_4_1 <rdquo> n96_a_saint_exupery_1943__1 IP-MAT n96_a_saint_exupery_1943__1_1 PULQ n96_a_saint_exupery_1943__1->n96_a_saint_exupery_1943__1_1 n96_a_saint_exupery_1943__1_2 PP-SCON n96_a_saint_exupery_1943__1->n96_a_saint_exupery_1943__1_2 n96_a_saint_exupery_1943__1_3 PUNC n96_a_saint_exupery_1943__1->n96_a_saint_exupery_1943__1_3 n96_a_saint_exupery_1943__1_4 PURQ n96_a_saint_exupery_1943__1->n96_a_saint_exupery_1943__1_4 n96_a_saint_exupery_1943__1_1->n96_a_saint_exupery_1943__1_1_1 n96_a_saint_exupery_1943__1_2_1 P-CONN n96_a_saint_exupery_1943__1_2->n96_a_saint_exupery_1943__1_2_1 n96_a_saint_exupery_1943__1_2_2 IP-ADV n96_a_saint_exupery_1943__1_2->n96_a_saint_exupery_1943__1_2_2 n96_a_saint_exupery_1943__1_2_1->n96_a_saint_exupery_1943__1_2_1_1 n96_a_saint_exupery_1943__1_2_2_1 NP-NIM n96_a_saint_exupery_1943__1_2_2->n96_a_saint_exupery_1943__1_2_2_1 n96_a_saint_exupery_1943__1_2_2_2 NP-SBJ n96_a_saint_exupery_1943__1_2_2->n96_a_saint_exupery_1943__1_2_2_2 n96_a_saint_exupery_1943__1_2_2_3 BEP;_La_ n96_a_saint_exupery_1943__1_2_2->n96_a_saint_exupery_1943__1_2_2_3 n96_a_saint_exupery_1943__1_2_2_4 ADJP-PRD n96_a_saint_exupery_1943__1_2_2->n96_a_saint_exupery_1943__1_2_2_4 n96_a_saint_exupery_1943__1_2_2_1_1 IP-REL n96_a_saint_exupery_1943__1_2_2_1->n96_a_saint_exupery_1943__1_2_2_1_1 n96_a_saint_exupery_1943__1_2_2_1_1_1 ADVP-NIM n96_a_saint_exupery_1943__1_2_2_1_1->n96_a_saint_exupery_1943__1_2_2_1_1_1 n96_a_saint_exupery_1943__1_2_2_1_1_2 NP-SBJ n96_a_saint_exupery_1943__1_2_2_1_1->n96_a_saint_exupery_1943__1_2_2_1_1_2 n96_a_saint_exupery_1943__1_2_2_1_1_3 VBP;__ n96_a_saint_exupery_1943__1_2_2_1_1->n96_a_saint_exupery_1943__1_2_2_1_1_3 n96_a_saint_exupery_1943__1_2_2_1_1_1_1 RADV n96_a_saint_exupery_1943__1_2_2_1_1_1->n96_a_saint_exupery_1943__1_2_2_1_1_1_1 n96_a_saint_exupery_1943__1_2_2_1_1_1_1->n96_a_saint_exupery_1943__1_2_2_1_1_1_1_1 n96_a_saint_exupery_1943__1_2_2_1_1_2_1 PRO n96_a_saint_exupery_1943__1_2_2_1_1_2->n96_a_saint_exupery_1943__1_2_2_1_1_2_1 n96_a_saint_exupery_1943__1_2_2_1_1_2_1->n96_a_saint_exupery_1943__1_2_2_1_1_2_1_1 n96_a_saint_exupery_1943__1_2_2_1_1_3->n96_a_saint_exupery_1943__1_2_2_1_1_3_1 n96_a_saint_exupery_1943__1_2_2_2_1 Q;_nphd_ n96_a_saint_exupery_1943__1_2_2_2->n96_a_saint_exupery_1943__1_2_2_2_1 n96_a_saint_exupery_1943__1_2_2_2_1->n96_a_saint_exupery_1943__1_2_2_2_1_1 n96_a_saint_exupery_1943__1_2_2_3->n96_a_saint_exupery_1943__1_2_2_3_1 n96_a_saint_exupery_1943__1_2_2_4_1 ADVP n96_a_saint_exupery_1943__1_2_2_4->n96_a_saint_exupery_1943__1_2_2_4_1 n96_a_saint_exupery_1943__1_2_2_4_2 ADJ n96_a_saint_exupery_1943__1_2_2_4->n96_a_saint_exupery_1943__1_2_2_4_2 n96_a_saint_exupery_1943__1_2_2_4_1_1 ADV n96_a_saint_exupery_1943__1_2_2_4_1->n96_a_saint_exupery_1943__1_2_2_4_1_1 n96_a_saint_exupery_1943__1_2_2_4_1_1->n96_a_saint_exupery_1943__1_2_2_4_1_1_1 n96_a_saint_exupery_1943__1_2_2_4_2->n96_a_saint_exupery_1943__1_2_2_4_2_1 n96_a_saint_exupery_1943__1_3->n96_a_saint_exupery_1943__1_3_1 n96_a_saint_exupery_1943__1_4->n96_a_saint_exupery_1943__1_4_1 
( (IP-MAT (PULQ <ldquo>)
          (PP-SCON (P-CONN Because;{because})
                   (IP-ADV (NP-NIM (IP-REL (ADVP-NIM (RADV where;{where}))
                                           (NP-SBJ;{PRINCE} (PRO I;{I}))
                                           (VBP;__ live;{live})))
                           (NP-SBJ (Q;_nphd_ everything;{everything}))
                           (BEP;_La_ is;{be})
                           (ADJP-PRD (ADVP (ADV very;{very}))
                                     (ADJ small;{small}))))
          (PUNC ...)
          (PURQ <rdquo>))
  (ID 96_a_saint_exupery_1943))