TSPC 45_a_saint_exupery

45_a_saint_exupery_1943
Thus you can imagine my amazement, at sunrise, when I was awakened by an odd little voice.

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

arc(r_0045_0003__can,r_0045_0001__Thus,nim).
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__nim).
arc(r_0045_0006__amazement,r_0045_0005__my,gen).
arc(r_0045_0013__was,r_0045_0009__sunrise,nim).
arc(r_0045_0013__was,r_0045_0014__awakened,scope).
arc(r_0045_0014__awakened,r_0045_0005__my,arg1).
arc(r_0045_0014__awakened,r_0045_0016__an_r_0045_0019__voice,r_0045_0015__by_arg0).
arc(r_0045_0016__an_r_0045_0019__voice,r_0045_0017__odd,attrib).
arc(r_0045_0016__an_r_0045_0019__voice,r_0045_0018__little,attrib).

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_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_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_r_0045_0015__by_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_attrib(R_0045_0016__AN_R_0045_0019__VOICE,R_0045_0018__LITTLE)
      & has_attrib(R_0045_0016__AN_R_0045_0019__VOICE,R_0045_0017__ODD)
      & has_arg1(R_0045_0013__WAS_R_0045_0014__AWAKENED,R_0045_0005__MY)
      & has_nim(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__nim(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_nim(R_0045_0003__CAN_R_0045_0004__IMAGINE,R_0045_0001__THUS) ) ).