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_0011__is is r_0026_0012__valuable valuable r_0026_0011__is->r_0026_0012__valuable [prd] r_0026_0010__knowledge knowledge r_0026_0011__is->r_0026_0010__knowledge [arg0] r_0026_0009__such such r_0026_0010__knowledge->r_0026_0009__such [attrib] r_0026_0003__gets_r_0026_0004__lost gets lost 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_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] r_0026_0002__one one r_0026_0003__gets_r_0026_0004__lost->r_0026_0002__one [arg1] r_0026_0001__If If r_0026_0001__If->r_0026_0011__is [scope] r_0026_0001__If->r_0026_0003__gets_r_0026_0004__lost [restriction] 
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__1_1_1_1 If n26_a_saint_exupery_1943__1_1_2_1_1_1 one n26_a_saint_exupery_1943__1_1_2_2_1 gets n26_a_saint_exupery_1943__1_1_2_3_1_1 * n26_a_saint_exupery_1943__1_1_2_3_2_1 lost n26_a_saint_exupery_1943__1_1_2_3_3_1_1 in n26_a_saint_exupery_1943__1_1_2_3_3_2_1_1 the n26_a_saint_exupery_1943__1_1_2_3_3_2_2_1 night n26_a_saint_exupery_1943__1_2_1 , n26_a_saint_exupery_1943__1_3_1_1_1 such n26_a_saint_exupery_1943__1_3_2_1 knowledge n26_a_saint_exupery_1943__1_4_1 is n26_a_saint_exupery_1943__1_5_1_1 valuable n26_a_saint_exupery_1943__1_6_1 . n26_a_saint_exupery_1943__1 IP-MAT n26_a_saint_exupery_1943__1_1 PP-SCON n26_a_saint_exupery_1943__1->n26_a_saint_exupery_1943__1_1 n26_a_saint_exupery_1943__1_2 PUNC n26_a_saint_exupery_1943__1->n26_a_saint_exupery_1943__1_2 n26_a_saint_exupery_1943__1_3 NP-SBJ n26_a_saint_exupery_1943__1->n26_a_saint_exupery_1943__1_3 n26_a_saint_exupery_1943__1_4 BEP;_La_ n26_a_saint_exupery_1943__1->n26_a_saint_exupery_1943__1_4 n26_a_saint_exupery_1943__1_5 ADJP-PRD n26_a_saint_exupery_1943__1->n26_a_saint_exupery_1943__1_5 n26_a_saint_exupery_1943__1_6 PUNC n26_a_saint_exupery_1943__1->n26_a_saint_exupery_1943__1_6 n26_a_saint_exupery_1943__1_1_1 P-CONN n26_a_saint_exupery_1943__1_1->n26_a_saint_exupery_1943__1_1_1 n26_a_saint_exupery_1943__1_1_2 IP-ADV n26_a_saint_exupery_1943__1_1->n26_a_saint_exupery_1943__1_1_2 n26_a_saint_exupery_1943__1_1_1->n26_a_saint_exupery_1943__1_1_1_1 n26_a_saint_exupery_1943__1_1_2_1 NP-SBJ n26_a_saint_exupery_1943__1_1_2->n26_a_saint_exupery_1943__1_1_2_1 n26_a_saint_exupery_1943__1_1_2_2 VBP;_cat_VePASS_ n26_a_saint_exupery_1943__1_1_2->n26_a_saint_exupery_1943__1_1_2_2 n26_a_saint_exupery_1943__1_1_2_3 IP-PPL-CAT n26_a_saint_exupery_1943__1_1_2->n26_a_saint_exupery_1943__1_1_2_3 n26_a_saint_exupery_1943__1_1_2_1_1 NUM n26_a_saint_exupery_1943__1_1_2_1->n26_a_saint_exupery_1943__1_1_2_1_1 n26_a_saint_exupery_1943__1_1_2_1_1->n26_a_saint_exupery_1943__1_1_2_1_1_1 n26_a_saint_exupery_1943__1_1_2_2->n26_a_saint_exupery_1943__1_1_2_2_1 n26_a_saint_exupery_1943__1_1_2_3_1 NP-LGS n26_a_saint_exupery_1943__1_1_2_3->n26_a_saint_exupery_1943__1_1_2_3_1 n26_a_saint_exupery_1943__1_1_2_3_2 VVN;_Tn_ n26_a_saint_exupery_1943__1_1_2_3->n26_a_saint_exupery_1943__1_1_2_3_2 n26_a_saint_exupery_1943__1_1_2_3_3 PP-NIM n26_a_saint_exupery_1943__1_1_2_3->n26_a_saint_exupery_1943__1_1_2_3_3 n26_a_saint_exupery_1943__1_1_2_3_1->n26_a_saint_exupery_1943__1_1_2_3_1_1 n26_a_saint_exupery_1943__1_1_2_3_2->n26_a_saint_exupery_1943__1_1_2_3_2_1 n26_a_saint_exupery_1943__1_1_2_3_3_1 P-ROLE n26_a_saint_exupery_1943__1_1_2_3_3->n26_a_saint_exupery_1943__1_1_2_3_3_1 n26_a_saint_exupery_1943__1_1_2_3_3_2 NP n26_a_saint_exupery_1943__1_1_2_3_3->n26_a_saint_exupery_1943__1_1_2_3_3_2 n26_a_saint_exupery_1943__1_1_2_3_3_1->n26_a_saint_exupery_1943__1_1_2_3_3_1_1 n26_a_saint_exupery_1943__1_1_2_3_3_2_1 D n26_a_saint_exupery_1943__1_1_2_3_3_2->n26_a_saint_exupery_1943__1_1_2_3_3_2_1 n26_a_saint_exupery_1943__1_1_2_3_3_2_2 N n26_a_saint_exupery_1943__1_1_2_3_3_2->n26_a_saint_exupery_1943__1_1_2_3_3_2_2 n26_a_saint_exupery_1943__1_1_2_3_3_2_1->n26_a_saint_exupery_1943__1_1_2_3_3_2_1_1 n26_a_saint_exupery_1943__1_1_2_3_3_2_2->n26_a_saint_exupery_1943__1_1_2_3_3_2_2_1 n26_a_saint_exupery_1943__1_2->n26_a_saint_exupery_1943__1_2_1 n26_a_saint_exupery_1943__1_3_1 ADJP n26_a_saint_exupery_1943__1_3->n26_a_saint_exupery_1943__1_3_1 n26_a_saint_exupery_1943__1_3_2 N n26_a_saint_exupery_1943__1_3->n26_a_saint_exupery_1943__1_3_2 n26_a_saint_exupery_1943__1_3_1_1 ADJ;_such_ n26_a_saint_exupery_1943__1_3_1->n26_a_saint_exupery_1943__1_3_1_1 n26_a_saint_exupery_1943__1_3_1_1->n26_a_saint_exupery_1943__1_3_1_1_1 n26_a_saint_exupery_1943__1_3_2->n26_a_saint_exupery_1943__1_3_2_1 n26_a_saint_exupery_1943__1_4->n26_a_saint_exupery_1943__1_4_1 n26_a_saint_exupery_1943__1_5_1 ADJ n26_a_saint_exupery_1943__1_5->n26_a_saint_exupery_1943__1_5_1 n26_a_saint_exupery_1943__1_5_1->n26_a_saint_exupery_1943__1_5_1_1 n26_a_saint_exupery_1943__1_6->n26_a_saint_exupery_1943__1_6_1 
( (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))