( (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))

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__nim).
arc(r_0026_0004__lost,z_0026_5005___star_,arg0).
arc(r_0026_0010__knowledge,r_0026_0009__such,attrib).
arc(r_0026_0011__is,r_0026_0010__knowledge,arg0).
arc(r_0026_0011__is,r_0026_0012__valuable,prd).

fof(formula,axiom,
    ! [R_0026_0003__GETS_R_0026_0004__LOST,R_0026_0002__ONE,R_0026_0006__THE_R_0026_0007__NIGHT,Z_0026_5005___STAR_] :
      ( ( r_0026_0002__one(R_0026_0002__ONE)
        & r_0026_0006__the_r_0026_0007__night(R_0026_0006__THE_R_0026_0007__NIGHT)
        & z_0026_5005___star_(Z_0026_5005___STAR_)
        & r_0026_0003__gets_r_0026_0004__lost(R_0026_0003__GETS_R_0026_0004__LOST)
        & has_arg0(R_0026_0003__GETS_R_0026_0004__LOST,Z_0026_5005___STAR_)
        & has_r_0026_0005__in__nim(R_0026_0003__GETS_R_0026_0004__LOST,R_0026_0006__THE_R_0026_0007__NIGHT)
        & has_arg1(R_0026_0003__GETS_R_0026_0004__LOST,R_0026_0002__ONE) )
     => ? [R_0026_0009__SUCH,R_0026_0010__KNOWLEDGE,R_0026_0012__VALUABLE,R_0026_0011__IS] :
          ( r_0026_0009__such(R_0026_0009__SUCH)
          & r_0026_0012__valuable(R_0026_0012__VALUABLE)
          & r_0026_0011__is(R_0026_0011__IS)
          & has_prd(R_0026_0011__IS,R_0026_0012__VALUABLE)
          & has_arg0(R_0026_0011__IS,R_0026_0010__KNOWLEDGE)
          & r_0026_0010__knowledge(R_0026_0010__KNOWLEDGE)
          & has_attrib(R_0026_0010__KNOWLEDGE,R_0026_0009__SUCH) ) ) ).