arc(r_0045_0003__can, r_0045_0001__Thus, nim2).
arc(r_0045_0003__can, r_0045_0004__imagine, scope).
arc(r_0045_0004__imagine, r_0045_0002__you, arg0).
arc(r_0045_0004__imagine, r_0045_0006__amazement, arg1).
arc(r_0045_0004__imagine, r_0045_0009__sunrise, r_0045_0008__at_nim24).
arc(r_0045_0006__amazement, r_0045_0005__my, gen).
arc(r_0045_0013__was, r_0045_0009__sunrise, nim30).
arc(r_0045_0013__was, r_0045_0014__awakened, scope).
arc(r_0045_0014__awakened, r_0045_0012__I, arg1).
arc(r_0045_0014__awakened, r_0045_0016__an_r_0045_0019__voice, arg0).
arc(r_0045_0016__an_r_0045_0019__voice, r_0045_0017__odd, attrib47).
arc(r_0045_0016__an_r_0045_0019__voice, r_0045_0018__little, attrib50).

fof(formula,axiom,
    ? [R_0045_0001__THUS,R_0045_0002__YOU,R_0045_0005__MY,R_0045_0006__AMAZEMENT,R_0045_0009__SUNRISE,R_0045_0003__CAN_R_0045_0004__IMAGINE,R_0045_0012__I,R_0045_0017__ODD,R_0045_0018__LITTLE,R_0045_0016__AN_R_0045_0019__VOICE,R_0045_0013__WAS_R_0045_0014__AWAKENED] :
      ( r_0045_0001__Thus(R_0045_0001__THUS)
      & r_0045_0002__you(R_0045_0002__YOU)
      & r_0045_0005__my(R_0045_0005__MY)
      & r_0045_0009__sunrise(R_0045_0009__SUNRISE)
      & r_0045_0012__I(R_0045_0012__I)
      & r_0045_0017__odd(R_0045_0017__ODD)
      & r_0045_0018__little(R_0045_0018__LITTLE)
      & r_0045_0013__was_r_0045_0014__awakened(R_0045_0013__WAS_R_0045_0014__AWAKENED)
      & has_arg0(R_0045_0013__WAS_R_0045_0014__AWAKENED,R_0045_0016__AN_R_0045_0019__VOICE)
      & r_0045_0016__an_r_0045_0019__voice(R_0045_0016__AN_R_0045_0019__VOICE)
      & has_attrib50(R_0045_0016__AN_R_0045_0019__VOICE,R_0045_0018__LITTLE)
      & has_attrib47(R_0045_0016__AN_R_0045_0019__VOICE,R_0045_0017__ODD)
      & has_arg1(R_0045_0013__WAS_R_0045_0014__AWAKENED,R_0045_0012__I)
      & has_nim30(R_0045_0013__WAS_R_0045_0014__AWAKENED,R_0045_0009__SUNRISE)
      & r_0045_0003__can_r_0045_0004__imagine(R_0045_0003__CAN_R_0045_0004__IMAGINE)
      & has_r_0045_0008__at_nim24(R_0045_0003__CAN_R_0045_0004__IMAGINE,R_0045_0009__SUNRISE)
      & has_arg1(R_0045_0003__CAN_R_0045_0004__IMAGINE,R_0045_0006__AMAZEMENT)
      & r_0045_0006__amazement(R_0045_0006__AMAZEMENT)
      & has_gen(R_0045_0006__AMAZEMENT,R_0045_0005__MY)
      & has_arg0(R_0045_0003__CAN_R_0045_0004__IMAGINE,R_0045_0002__YOU)
      & has_nim2(R_0045_0003__CAN_R_0045_0004__IMAGINE,R_0045_0001__THUS) ) ).

( (IP-MAT (ADVP-NIM (ADV Thus;{thus}))
          (NP-SBJ (PRO you;{you}))
          (MD;_cat_Vi_ can;{can})
          (IP-INF-CAT (VB;__ imagine;{imagine})
                      (NP-OB1 (NP-GEN (PRO;_genm_ my;{my}))
                              (N amazement;{amazement}))
                      (PUNC ,)
                      (PP-NIM (P-ROLE at;{at})
                              (NP (N sunrise;{sunrise})
                                  (PUNC ,)
                                  (IP-REL (ADVP-NIM (RADV when;{when}))
                                          (NP-SBJ (PRO I;{I}))
                                          (BED;_cat_VePASS_ was;{be})
                                          (IP-PPL-CAT (VVN;__ awakened;{awaken})
                                                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                              (NP;{VOICE} (D an;{an})
                                                                          (ADJP (ADJ odd;{odd}))
                                                                          (ADJP (ADJ little;{little}))
                                                                          (N voice;{voice}))))))))
          (PUNC .))
  (ID 45_a_saint_exupery_1943))