TSPC 43_a_saint_exupery

43_a_saint_exupery_1943
The first night, then, I went to sleep on the sand, a thousand miles from any human habitation.

( (IP-MAT (NP-NIM (D The;{the})
                  (NUM first;{first})
                  (N night;{night}))
          (PUNC ,)
          (ADVP-NIM (ADV then;{then}))
          (PUNC ,)
          (NP-SBJ (PRO I;{I}))
          (VBD;__ went;{go})
          (PP-NIM (P-ROLE to;{to})
                  (NP (N sleep;{sleep})))
          (PP-NIM (P-ROLE on;{on})
                  (NP (D the;{the})
                      (N sand;{sand})
                      (PUNC ,)
                      (PRN (NP (D a;{a})
                               (NUM thousand;{thousand})
                               (NS miles;{mile})
                               (PP (P-ROLE from;{from})
                                   (NP (D any;{any})
                                       (ADJP (ADJ human;{human}))
                                       (N habitation;{habitation})))))))
          (PUNC .))
  (ID 43_a_saint_exupery_1943))

arc(r_0043_0008__went,r_0043_0001__The_r_0043_0002__first_r_0043_0003__night,nim).
arc(r_0043_0008__went,r_0043_0005__then,nim).
arc(r_0043_0008__went,r_0043_0007__I,arg0).
arc(r_0043_0008__went,r_0043_0010__sleep,r_0043_0009__to__nim).
arc(r_0043_0008__went,r_0043_0012__the_r_0043_0013__sand,r_0043_0011__on__nim).
arc(r_0043_0015__a_r_0043_0016__thousand_r_0043_0017__miles,r_0043_0019__any_r_0043_0021__habitation,r_0043_0018__from).
arc(r_0043_0019__any_r_0043_0021__habitation,r_0043_0020__human,attrib).
arc(z_0043_5007,r_0043_0012__the_r_0043_0013__sand,arg0).
arc(z_0043_5007,r_0043_0015__a_r_0043_0016__thousand_r_0043_0017__miles,prd).

fof(formula,axiom,
    ? [R_0043_0001__THE_R_0043_0002__FIRST_R_0043_0003__NIGHT,R_0043_0005__THEN,R_0043_0007__I,R_0043_0010__SLEEP,R_0043_0012__THE_R_0043_0013__SAND,R_0043_0008__WENT,R_0043_0020__HUMAN,R_0043_0019__ANY_R_0043_0021__HABITATION,R_0043_0015__A_R_0043_0016__THOUSAND_R_0043_0017__MILES,Z_0043_5007] :
      ( r_0043_0001__The_r_0043_0002__first_r_0043_0003__night(R_0043_0001__THE_R_0043_0002__FIRST_R_0043_0003__NIGHT)
      & r_0043_0005__then(R_0043_0005__THEN)
      & r_0043_0007__I(R_0043_0007__I)
      & r_0043_0010__sleep(R_0043_0010__SLEEP)
      & r_0043_0012__the_r_0043_0013__sand(R_0043_0012__THE_R_0043_0013__SAND)
      & r_0043_0020__human(R_0043_0020__HUMAN)
      & z_0043_5007(Z_0043_5007)
      & has_prd(Z_0043_5007,R_0043_0015__A_R_0043_0016__THOUSAND_R_0043_0017__MILES)
      & r_0043_0015__a_r_0043_0016__thousand_r_0043_0017__miles(R_0043_0015__A_R_0043_0016__THOUSAND_R_0043_0017__MILES)
      & has_r_0043_0018__from(R_0043_0015__A_R_0043_0016__THOUSAND_R_0043_0017__MILES,R_0043_0019__ANY_R_0043_0021__HABITATION)
      & r_0043_0019__any_r_0043_0021__habitation(R_0043_0019__ANY_R_0043_0021__HABITATION)
      & has_attrib(R_0043_0019__ANY_R_0043_0021__HABITATION,R_0043_0020__HUMAN)
      & has_arg0(Z_0043_5007,R_0043_0012__THE_R_0043_0013__SAND)
      & r_0043_0008__went(R_0043_0008__WENT)
      & has_r_0043_0011__on__nim(R_0043_0008__WENT,R_0043_0012__THE_R_0043_0013__SAND)
      & has_r_0043_0009__to__nim(R_0043_0008__WENT,R_0043_0010__SLEEP)
      & has_arg0(R_0043_0008__WENT,R_0043_0007__I)
      & has_nim(R_0043_0008__WENT,R_0043_0005__THEN)
      & has_nim(R_0043_0008__WENT,R_0043_0001__THE_R_0043_0002__FIRST_R_0043_0003__NIGHT) ) ).