Context                Previous, Next                Top


26_a_saint_exupery_1943
If one gets lost in the night, such knowledge is valuable.

%3 r_0026_0001__If If r_0026_0003__gets gets r_0026_0001__If->r_0026_0003__gets [restriction] r_0026_0011__is is r_0026_0001__If->r_0026_0011__is [scope] r_0026_0004__lost lost r_0026_0003__gets->r_0026_0004__lost [scope] r_0026_0010__knowledge knowledge r_0026_0011__is->r_0026_0010__knowledge [arg0] r_0026_0012__valuable valuable r_0026_0011__is->r_0026_0012__valuable [prd] r_0026_0002__one one r_0026_0004__lost->r_0026_0002__one [arg1] r_0026_0006__the_r_0026_0007__night the night r_0026_0004__lost->r_0026_0006__the_r_0026_0007__night in [nim] z_000_26_a_saint_exupery_1943_12 r_0026_0004__lost->z_000_26_a_saint_exupery_1943_12 [arg0] r_0026_0009__such such r_0026_0010__knowledge->r_0026_0009__such [attrib] 
arc(r_0026_0001__If, r_0026_0003__gets, restriction).
arc(r_0026_0001__If, r_0026_0011__is, scope).
arc(r_0026_0003__gets, r_0026_0004__lost, scope).
arc(r_0026_0004__lost, r_0026_0002__one, arg1).
arc(r_0026_0004__lost, r_0026_0006__the_r_0026_0007__night, r_0026_0005__in_nim19).
arc(r_0026_0004__lost, z_000_26_a_saint_exupery_1943_12, arg0).
arc(r_0026_0010__knowledge, r_0026_0009__such, attrib27).
arc(r_0026_0011__is, r_0026_0010__knowledge, arg0).
arc(r_0026_0011__is, r_0026_0012__valuable, prd).


%3 r_0026_0001__If If r_0026_0003__gets_r_0026_0004__lost gets lost r_0026_0001__If->r_0026_0003__gets_r_0026_0004__lost [restriction] r_0026_0011__is is r_0026_0001__If->r_0026_0011__is [scope] r_0026_0002__one one r_0026_0003__gets_r_0026_0004__lost->r_0026_0002__one [arg1] r_0026_0006__the_r_0026_0007__night the night r_0026_0003__gets_r_0026_0004__lost->r_0026_0006__the_r_0026_0007__night in [nim] z_000_26_a_saint_exupery_1943_12 r_0026_0003__gets_r_0026_0004__lost->z_000_26_a_saint_exupery_1943_12 [arg0] r_0026_0010__knowledge knowledge r_0026_0011__is->r_0026_0010__knowledge [arg0] r_0026_0012__valuable valuable r_0026_0011__is->r_0026_0012__valuable [prd] r_0026_0009__such such r_0026_0010__knowledge->r_0026_0009__such [attrib] 
fof(formula,axiom,
    ! [R_26_3_GETS_LOST,Z_26_A_SAINT_EXUPERY_1943_12,R_26_2_ONE,R_26_6_THE_NIGHT] :
      ( ( one(R_26_2_ONE)
        & the_night(R_26_6_THE_NIGHT)
        & gets_lost(R_26_3_GETS_LOST,Z_26_A_SAINT_EXUPERY_1943_12,R_26_2_ONE)
        & in_nim19(R_26_3_GETS_LOST,R_26_6_THE_NIGHT) )
     => ? [R_26_11_IS,R_26_10_KNOWLEDGE,R_26_9_SUCH,R_26_12_VALUABLE] :
          ( such(R_26_9_SUCH)
          & valuable(R_26_12_VALUABLE)
          & is(R_26_11_IS,R_26_10_KNOWLEDGE,R_26_12_VALUABLE)
          & knowledge(R_26_10_KNOWLEDGE)
          & attrib27(R_26_10_KNOWLEDGE,R_26_9_SUCH) ) ) ).


n26_a_saint_exupery_1943 n26_a_saint_exupery_1943_4 If n26_a_saint_exupery_1943_8 one n26_a_saint_exupery_1943_10 gets n26_a_saint_exupery_1943_13 * n26_a_saint_exupery_1943_15 lost n26_a_saint_exupery_1943_18 in n26_a_saint_exupery_1943_21 the n26_a_saint_exupery_1943_23 night n26_a_saint_exupery_1943_25 , n26_a_saint_exupery_1943_29 such n26_a_saint_exupery_1943_31 knowledge n26_a_saint_exupery_1943_33 is n26_a_saint_exupery_1943_36 valuable n26_a_saint_exupery_1943_38 . n26_a_saint_exupery_1943_1 IP-MAT n26_a_saint_exupery_1943_2 PP-SCON n26_a_saint_exupery_1943_1->n26_a_saint_exupery_1943_2 n26_a_saint_exupery_1943_24 PUNC n26_a_saint_exupery_1943_1->n26_a_saint_exupery_1943_24 n26_a_saint_exupery_1943_26 NP-SBJ n26_a_saint_exupery_1943_1->n26_a_saint_exupery_1943_26 n26_a_saint_exupery_1943_32 BEP;_La_ n26_a_saint_exupery_1943_1->n26_a_saint_exupery_1943_32 n26_a_saint_exupery_1943_34 ADJP-PRD n26_a_saint_exupery_1943_1->n26_a_saint_exupery_1943_34 n26_a_saint_exupery_1943_37 PUNC n26_a_saint_exupery_1943_1->n26_a_saint_exupery_1943_37 n26_a_saint_exupery_1943_3 P-CONN n26_a_saint_exupery_1943_2->n26_a_saint_exupery_1943_3 n26_a_saint_exupery_1943_5 IP-ADV n26_a_saint_exupery_1943_2->n26_a_saint_exupery_1943_5 n26_a_saint_exupery_1943_3->n26_a_saint_exupery_1943_4 n26_a_saint_exupery_1943_6 NP-SBJ n26_a_saint_exupery_1943_5->n26_a_saint_exupery_1943_6 n26_a_saint_exupery_1943_9 VBP;_cat_VePASS_ n26_a_saint_exupery_1943_5->n26_a_saint_exupery_1943_9 n26_a_saint_exupery_1943_11 IP-PPL-CAT n26_a_saint_exupery_1943_5->n26_a_saint_exupery_1943_11 n26_a_saint_exupery_1943_7 NUM n26_a_saint_exupery_1943_6->n26_a_saint_exupery_1943_7 n26_a_saint_exupery_1943_7->n26_a_saint_exupery_1943_8 n26_a_saint_exupery_1943_9->n26_a_saint_exupery_1943_10 n26_a_saint_exupery_1943_12 NP-LGS n26_a_saint_exupery_1943_11->n26_a_saint_exupery_1943_12 n26_a_saint_exupery_1943_14 VVN;_Tn_ n26_a_saint_exupery_1943_11->n26_a_saint_exupery_1943_14 n26_a_saint_exupery_1943_16 PP-NIM n26_a_saint_exupery_1943_11->n26_a_saint_exupery_1943_16 n26_a_saint_exupery_1943_12->n26_a_saint_exupery_1943_13 n26_a_saint_exupery_1943_14->n26_a_saint_exupery_1943_15 n26_a_saint_exupery_1943_17 P-ROLE n26_a_saint_exupery_1943_16->n26_a_saint_exupery_1943_17 n26_a_saint_exupery_1943_19 NP n26_a_saint_exupery_1943_16->n26_a_saint_exupery_1943_19 n26_a_saint_exupery_1943_17->n26_a_saint_exupery_1943_18 n26_a_saint_exupery_1943_20 D n26_a_saint_exupery_1943_19->n26_a_saint_exupery_1943_20 n26_a_saint_exupery_1943_22 N n26_a_saint_exupery_1943_19->n26_a_saint_exupery_1943_22 n26_a_saint_exupery_1943_20->n26_a_saint_exupery_1943_21 n26_a_saint_exupery_1943_22->n26_a_saint_exupery_1943_23 n26_a_saint_exupery_1943_24->n26_a_saint_exupery_1943_25 n26_a_saint_exupery_1943_27 ADJP n26_a_saint_exupery_1943_26->n26_a_saint_exupery_1943_27 n26_a_saint_exupery_1943_30 N n26_a_saint_exupery_1943_26->n26_a_saint_exupery_1943_30 n26_a_saint_exupery_1943_28 ADJ;_such_ n26_a_saint_exupery_1943_27->n26_a_saint_exupery_1943_28 n26_a_saint_exupery_1943_28->n26_a_saint_exupery_1943_29 n26_a_saint_exupery_1943_30->n26_a_saint_exupery_1943_31 n26_a_saint_exupery_1943_32->n26_a_saint_exupery_1943_33 n26_a_saint_exupery_1943_35 ADJ n26_a_saint_exupery_1943_34->n26_a_saint_exupery_1943_35 n26_a_saint_exupery_1943_35->n26_a_saint_exupery_1943_36 n26_a_saint_exupery_1943_37->n26_a_saint_exupery_1943_38 
( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ (NUM one;{one}))
                           (VBP;_cat_VePASS_ gets;{get})
                           (IP-PPL-CAT (NP-LGS *)
                                       (VVN;_Tn_ lost;{lose})
                                       (PP-NIM (P-ROLE in;{in})
                                               (NP (D the;{the})
                                                   (N night;{night}))))))
          (PUNC ,)
          (NP-SBJ (ADJP (ADJ;_such_ such;{such}))
                  (N knowledge;{knowledge}))
          (BEP;_La_ is;{be})
          (ADJP-PRD (ADJ valuable;{valuable}))
          (PUNC .))
  (ID 26_a_saint_exupery_1943))