Context                Previous, Next                Top


73_a_saint_exupery_1943
Where I live, everything is very small.

%3 r_0073_0003__live live r_0073_0002__I I r_0073_0003__live->r_0073_0002__I [arg0] z_000_73_a_saint_exupery_1943_2 r_0073_0003__live->z_000_73_a_saint_exupery_1943_2 [nim] r_0073_0005__everything_quant everything [quant] r_0073_0006__is is r_0073_0005__everything_quant->r_0073_0006__is [scope] z_000_73_a_saint_exupery_1943_14 r_0073_0005__everything_quant->z_000_73_a_saint_exupery_1943_14 [restriction] r_0073_0006__is->z_000_73_a_saint_exupery_1943_2 [nim] r_0073_0006__is->z_000_73_a_saint_exupery_1943_14 [arg0] r_0073_0008__small small r_0073_0006__is->r_0073_0008__small [prd] r_0073_0007__very very r_0073_0008__small->r_0073_0007__very [qual] 
arc(r_0073_0003__live, r_0073_0002__I, arg0).
arc(r_0073_0003__live, z_000_73_a_saint_exupery_1943_2, nim4).
arc(r_0073_0005__everything_quant, r_0073_0006__is, scope).
arc(r_0073_0005__everything_quant, z_000_73_a_saint_exupery_1943_14, restriction).
arc(r_0073_0006__is, r_0073_0008__small, prd).
arc(r_0073_0006__is, z_000_73_a_saint_exupery_1943_14, arg0).
arc(r_0073_0006__is, z_000_73_a_saint_exupery_1943_2, nim2).
arc(r_0073_0008__small, r_0073_0007__very, qual20).


%3 r_0073_0003__live live r_0073_0002__I I r_0073_0003__live->r_0073_0002__I [arg0] z_000_73_a_saint_exupery_1943_2 r_0073_0003__live->z_000_73_a_saint_exupery_1943_2 [nim] r_0073_0005__everything_quant everything [quant] r_0073_0006__is is r_0073_0005__everything_quant->r_0073_0006__is [scope] z_000_73_a_saint_exupery_1943_14 r_0073_0005__everything_quant->z_000_73_a_saint_exupery_1943_14 [restriction] r_0073_0006__is->z_000_73_a_saint_exupery_1943_2 [nim] r_0073_0006__is->z_000_73_a_saint_exupery_1943_14 [arg0] r_0073_0008__small small r_0073_0006__is->r_0073_0008__small [prd] r_0073_0007__very very r_0073_0008__small->r_0073_0007__very [qual] 
fof(formula,axiom,
    ? [R_73_3_LIVE,R_73_2_I,Z_73_A_SAINT_EXUPERY_1943_2] :
      ( i(R_73_2_I)
      & live(R_73_3_LIVE,R_73_2_I)
      & nim4(R_73_3_LIVE,Z_73_A_SAINT_EXUPERY_1943_2)
      & ! [Z_73_A_SAINT_EXUPERY_1943_14] :
          ( true
         => ? [R_73_6_IS,R_73_8_SMALL,R_73_7_VERY] :
              ( very(R_73_7_VERY)
              & is(R_73_6_IS,Z_73_A_SAINT_EXUPERY_1943_14,R_73_8_SMALL)
              & small(R_73_8_SMALL)
              & qual20(R_73_8_SMALL,R_73_7_VERY)
              & nim2(R_73_6_IS,Z_73_A_SAINT_EXUPERY_1943_2) ) ) ) ).


n73_a_saint_exupery_1943 n73_a_saint_exupery_1943_6 Where n73_a_saint_exupery_1943_9 I n73_a_saint_exupery_1943_11 live n73_a_saint_exupery_1943_13 , n73_a_saint_exupery_1943_16 everything n73_a_saint_exupery_1943_18 is n73_a_saint_exupery_1943_22 very n73_a_saint_exupery_1943_24 small n73_a_saint_exupery_1943_26 . n73_a_saint_exupery_1943_1 IP-MAT n73_a_saint_exupery_1943_2 NP-NIM n73_a_saint_exupery_1943_1->n73_a_saint_exupery_1943_2 n73_a_saint_exupery_1943_12 PUNC n73_a_saint_exupery_1943_1->n73_a_saint_exupery_1943_12 n73_a_saint_exupery_1943_14 NP-SBJ n73_a_saint_exupery_1943_1->n73_a_saint_exupery_1943_14 n73_a_saint_exupery_1943_17 BEP;_La_ n73_a_saint_exupery_1943_1->n73_a_saint_exupery_1943_17 n73_a_saint_exupery_1943_19 ADJP-PRD n73_a_saint_exupery_1943_1->n73_a_saint_exupery_1943_19 n73_a_saint_exupery_1943_25 PUNC n73_a_saint_exupery_1943_1->n73_a_saint_exupery_1943_25 n73_a_saint_exupery_1943_3 IP-REL n73_a_saint_exupery_1943_2->n73_a_saint_exupery_1943_3 n73_a_saint_exupery_1943_4 ADVP-NIM n73_a_saint_exupery_1943_3->n73_a_saint_exupery_1943_4 n73_a_saint_exupery_1943_7 NP-SBJ n73_a_saint_exupery_1943_3->n73_a_saint_exupery_1943_7 n73_a_saint_exupery_1943_10 VBP;__ n73_a_saint_exupery_1943_3->n73_a_saint_exupery_1943_10 n73_a_saint_exupery_1943_5 RADV n73_a_saint_exupery_1943_4->n73_a_saint_exupery_1943_5 n73_a_saint_exupery_1943_5->n73_a_saint_exupery_1943_6 n73_a_saint_exupery_1943_8 PRO n73_a_saint_exupery_1943_7->n73_a_saint_exupery_1943_8 n73_a_saint_exupery_1943_8->n73_a_saint_exupery_1943_9 n73_a_saint_exupery_1943_10->n73_a_saint_exupery_1943_11 n73_a_saint_exupery_1943_12->n73_a_saint_exupery_1943_13 n73_a_saint_exupery_1943_15 Q;_nphd_ n73_a_saint_exupery_1943_14->n73_a_saint_exupery_1943_15 n73_a_saint_exupery_1943_15->n73_a_saint_exupery_1943_16 n73_a_saint_exupery_1943_17->n73_a_saint_exupery_1943_18 n73_a_saint_exupery_1943_20 ADVP n73_a_saint_exupery_1943_19->n73_a_saint_exupery_1943_20 n73_a_saint_exupery_1943_23 ADJ n73_a_saint_exupery_1943_19->n73_a_saint_exupery_1943_23 n73_a_saint_exupery_1943_21 ADV n73_a_saint_exupery_1943_20->n73_a_saint_exupery_1943_21 n73_a_saint_exupery_1943_21->n73_a_saint_exupery_1943_22 n73_a_saint_exupery_1943_23->n73_a_saint_exupery_1943_24 n73_a_saint_exupery_1943_25->n73_a_saint_exupery_1943_26 
( (IP-MAT (NP-NIM (IP-REL (ADVP-NIM (RADV Where;{where}))
                          (NP-SBJ;{PRINCE} (PRO I;{I}))
                          (VBP;__ live;{live})))
          (PUNC ,)
          (NP-SBJ (Q;_nphd_ everything;{everything}))
          (BEP;_La_ is;{be})
          (ADJP-PRD (ADVP (ADV very;{very}))
                    (ADJ small;{small}))
          (PUNC .))
  (ID 73_a_saint_exupery_1943))