Context                Previous, Next                Top


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

%3 r_0043_0008__went went r_0043_0001__The_r_0043_0002__first_r_0043_0003__night The first night r_0043_0008__went->r_0043_0001__The_r_0043_0002__first_r_0043_0003__night [nim] r_0043_0005__then then r_0043_0008__went->r_0043_0005__then [nim] r_0043_0007__I I r_0043_0008__went->r_0043_0007__I [arg0] r_0043_0010__sleep sleep r_0043_0008__went->r_0043_0010__sleep to [nim] r_0043_0012__the_r_0043_0013__sand the sand r_0043_0008__went->r_0043_0012__the_r_0043_0013__sand on [nim] r_0043_0015__a_r_0043_0016__thousand_r_0043_0017__miles a thousand miles r_0043_0019__any_r_0043_0021__habitation any habitation r_0043_0015__a_r_0043_0016__thousand_r_0043_0017__miles->r_0043_0019__any_r_0043_0021__habitation from r_0043_0020__human human r_0043_0019__any_r_0043_0021__habitation->r_0043_0020__human [attrib] z_000_43_a_saint_exupery_1943_37 z_000_43_a_saint_exupery_1943_37->r_0043_0012__the_r_0043_0013__sand [arg0] z_000_43_a_saint_exupery_1943_37->r_0043_0015__a_r_0043_0016__thousand_r_0043_0017__miles [prd] 
arc(r_0043_0008__went, r_0043_0001__The_r_0043_0002__first_r_0043_0003__night, nim2).
arc(r_0043_0008__went, r_0043_0005__then, nim11).
arc(r_0043_0008__went, r_0043_0007__I, arg0).
arc(r_0043_0008__went, r_0043_0010__sleep, r_0043_0009__to_nim24).
arc(r_0043_0008__went, r_0043_0012__the_r_0043_0013__sand, r_0043_0011__on_nim30).
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, attrib51).
arc(z_000_43_a_saint_exupery_1943_37, r_0043_0012__the_r_0043_0013__sand, arg0).
arc(z_000_43_a_saint_exupery_1943_37, r_0043_0015__a_r_0043_0016__thousand_r_0043_0017__miles, prd).


%3 z_000_43_a_saint_exupery_1943_37 r_0043_0015__a_r_0043_0016__thousand_r_0043_0017__miles a thousand miles z_000_43_a_saint_exupery_1943_37->r_0043_0015__a_r_0043_0016__thousand_r_0043_0017__miles [prd] r_0043_0012__the_r_0043_0013__sand the sand z_000_43_a_saint_exupery_1943_37->r_0043_0012__the_r_0043_0013__sand [arg0] r_0043_0019__any_r_0043_0021__habitation any habitation r_0043_0015__a_r_0043_0016__thousand_r_0043_0017__miles->r_0043_0019__any_r_0043_0021__habitation from r_0043_0020__human human r_0043_0019__any_r_0043_0021__habitation->r_0043_0020__human [attrib] r_0043_0008__went went r_0043_0008__went->r_0043_0012__the_r_0043_0013__sand on [nim] r_0043_0010__sleep sleep r_0043_0008__went->r_0043_0010__sleep to [nim] r_0043_0007__I I r_0043_0008__went->r_0043_0007__I [arg0] r_0043_0005__then then r_0043_0008__went->r_0043_0005__then [nim] r_0043_0001__The_r_0043_0002__first_r_0043_0003__night The first night r_0043_0008__went->r_0043_0001__The_r_0043_0002__first_r_0043_0003__night [nim] 
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_000_43_A_SAINT_EXUPERY_1943_37] :
      ( 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_000_43_a_saint_exupery_1943_37(Z_000_43_A_SAINT_EXUPERY_1943_37)
      & has_prd(Z_000_43_A_SAINT_EXUPERY_1943_37,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_attrib51(R_0043_0019__ANY_R_0043_0021__HABITATION,R_0043_0020__HUMAN)
      & has_arg0(Z_000_43_A_SAINT_EXUPERY_1943_37,R_0043_0012__THE_R_0043_0013__SAND)
      & r_0043_0008__went(R_0043_0008__WENT)
      & has_r_0043_0011__on_nim30(R_0043_0008__WENT,R_0043_0012__THE_R_0043_0013__SAND)
      & has_r_0043_0009__to_nim24(R_0043_0008__WENT,R_0043_0010__SLEEP)
      & has_arg0(R_0043_0008__WENT,R_0043_0007__I)
      & has_nim11(R_0043_0008__WENT,R_0043_0005__THEN)
      & has_nim2(R_0043_0008__WENT,R_0043_0001__THE_R_0043_0002__FIRST_R_0043_0003__NIGHT) ) ).


n43_a_saint_exupery_1943 n43_a_saint_exupery_1943__1_1_1_1 The n43_a_saint_exupery_1943__1_1_2_1 first n43_a_saint_exupery_1943__1_1_3_1 night n43_a_saint_exupery_1943__1_2_1 , n43_a_saint_exupery_1943__1_3_1_1 then n43_a_saint_exupery_1943__1_4_1 , n43_a_saint_exupery_1943__1_5_1_1 I n43_a_saint_exupery_1943__1_6_1 went n43_a_saint_exupery_1943__1_7_1_1 to n43_a_saint_exupery_1943__1_7_2_1_1 sleep n43_a_saint_exupery_1943__1_8_1_1 on n43_a_saint_exupery_1943__1_8_2_1_1 the n43_a_saint_exupery_1943__1_8_2_2_1 sand n43_a_saint_exupery_1943__1_8_2_3_1 , n43_a_saint_exupery_1943__1_8_2_4_1_1_1 a n43_a_saint_exupery_1943__1_8_2_4_1_2_1 thousand n43_a_saint_exupery_1943__1_8_2_4_1_3_1 miles n43_a_saint_exupery_1943__1_8_2_4_1_4_1_1 from n43_a_saint_exupery_1943__1_8_2_4_1_4_2_1_1 any n43_a_saint_exupery_1943__1_8_2_4_1_4_2_2_1_1 human n43_a_saint_exupery_1943__1_8_2_4_1_4_2_3_1 habitation n43_a_saint_exupery_1943__1_9_1 . n43_a_saint_exupery_1943__1 IP-MAT n43_a_saint_exupery_1943__1_1 NP-NIM n43_a_saint_exupery_1943__1->n43_a_saint_exupery_1943__1_1 n43_a_saint_exupery_1943__1_2 PUNC n43_a_saint_exupery_1943__1->n43_a_saint_exupery_1943__1_2 n43_a_saint_exupery_1943__1_3 ADVP-NIM n43_a_saint_exupery_1943__1->n43_a_saint_exupery_1943__1_3 n43_a_saint_exupery_1943__1_4 PUNC n43_a_saint_exupery_1943__1->n43_a_saint_exupery_1943__1_4 n43_a_saint_exupery_1943__1_5 NP-SBJ n43_a_saint_exupery_1943__1->n43_a_saint_exupery_1943__1_5 n43_a_saint_exupery_1943__1_6 VBD;__ n43_a_saint_exupery_1943__1->n43_a_saint_exupery_1943__1_6 n43_a_saint_exupery_1943__1_7 PP-NIM n43_a_saint_exupery_1943__1->n43_a_saint_exupery_1943__1_7 n43_a_saint_exupery_1943__1_8 PP-NIM n43_a_saint_exupery_1943__1->n43_a_saint_exupery_1943__1_8 n43_a_saint_exupery_1943__1_9 PUNC n43_a_saint_exupery_1943__1->n43_a_saint_exupery_1943__1_9 n43_a_saint_exupery_1943__1_1_1 D n43_a_saint_exupery_1943__1_1->n43_a_saint_exupery_1943__1_1_1 n43_a_saint_exupery_1943__1_1_2 NUM n43_a_saint_exupery_1943__1_1->n43_a_saint_exupery_1943__1_1_2 n43_a_saint_exupery_1943__1_1_3 N n43_a_saint_exupery_1943__1_1->n43_a_saint_exupery_1943__1_1_3 n43_a_saint_exupery_1943__1_1_1->n43_a_saint_exupery_1943__1_1_1_1 n43_a_saint_exupery_1943__1_1_2->n43_a_saint_exupery_1943__1_1_2_1 n43_a_saint_exupery_1943__1_1_3->n43_a_saint_exupery_1943__1_1_3_1 n43_a_saint_exupery_1943__1_2->n43_a_saint_exupery_1943__1_2_1 n43_a_saint_exupery_1943__1_3_1 ADV n43_a_saint_exupery_1943__1_3->n43_a_saint_exupery_1943__1_3_1 n43_a_saint_exupery_1943__1_3_1->n43_a_saint_exupery_1943__1_3_1_1 n43_a_saint_exupery_1943__1_4->n43_a_saint_exupery_1943__1_4_1 n43_a_saint_exupery_1943__1_5_1 PRO n43_a_saint_exupery_1943__1_5->n43_a_saint_exupery_1943__1_5_1 n43_a_saint_exupery_1943__1_5_1->n43_a_saint_exupery_1943__1_5_1_1 n43_a_saint_exupery_1943__1_6->n43_a_saint_exupery_1943__1_6_1 n43_a_saint_exupery_1943__1_7_1 P-ROLE n43_a_saint_exupery_1943__1_7->n43_a_saint_exupery_1943__1_7_1 n43_a_saint_exupery_1943__1_7_2 NP n43_a_saint_exupery_1943__1_7->n43_a_saint_exupery_1943__1_7_2 n43_a_saint_exupery_1943__1_7_1->n43_a_saint_exupery_1943__1_7_1_1 n43_a_saint_exupery_1943__1_7_2_1 N n43_a_saint_exupery_1943__1_7_2->n43_a_saint_exupery_1943__1_7_2_1 n43_a_saint_exupery_1943__1_7_2_1->n43_a_saint_exupery_1943__1_7_2_1_1 n43_a_saint_exupery_1943__1_8_1 P-ROLE n43_a_saint_exupery_1943__1_8->n43_a_saint_exupery_1943__1_8_1 n43_a_saint_exupery_1943__1_8_2 NP n43_a_saint_exupery_1943__1_8->n43_a_saint_exupery_1943__1_8_2 n43_a_saint_exupery_1943__1_8_1->n43_a_saint_exupery_1943__1_8_1_1 n43_a_saint_exupery_1943__1_8_2_1 D n43_a_saint_exupery_1943__1_8_2->n43_a_saint_exupery_1943__1_8_2_1 n43_a_saint_exupery_1943__1_8_2_2 N n43_a_saint_exupery_1943__1_8_2->n43_a_saint_exupery_1943__1_8_2_2 n43_a_saint_exupery_1943__1_8_2_3 PUNC n43_a_saint_exupery_1943__1_8_2->n43_a_saint_exupery_1943__1_8_2_3 n43_a_saint_exupery_1943__1_8_2_4 IP-PPL n43_a_saint_exupery_1943__1_8_2->n43_a_saint_exupery_1943__1_8_2_4 n43_a_saint_exupery_1943__1_8_2_1->n43_a_saint_exupery_1943__1_8_2_1_1 n43_a_saint_exupery_1943__1_8_2_2->n43_a_saint_exupery_1943__1_8_2_2_1 n43_a_saint_exupery_1943__1_8_2_3->n43_a_saint_exupery_1943__1_8_2_3_1 n43_a_saint_exupery_1943__1_8_2_4_1 NP-PRD n43_a_saint_exupery_1943__1_8_2_4->n43_a_saint_exupery_1943__1_8_2_4_1 n43_a_saint_exupery_1943__1_8_2_4_1_1 D n43_a_saint_exupery_1943__1_8_2_4_1->n43_a_saint_exupery_1943__1_8_2_4_1_1 n43_a_saint_exupery_1943__1_8_2_4_1_2 NUM n43_a_saint_exupery_1943__1_8_2_4_1->n43_a_saint_exupery_1943__1_8_2_4_1_2 n43_a_saint_exupery_1943__1_8_2_4_1_3 NS n43_a_saint_exupery_1943__1_8_2_4_1->n43_a_saint_exupery_1943__1_8_2_4_1_3 n43_a_saint_exupery_1943__1_8_2_4_1_4 PP n43_a_saint_exupery_1943__1_8_2_4_1->n43_a_saint_exupery_1943__1_8_2_4_1_4 n43_a_saint_exupery_1943__1_8_2_4_1_1->n43_a_saint_exupery_1943__1_8_2_4_1_1_1 n43_a_saint_exupery_1943__1_8_2_4_1_2->n43_a_saint_exupery_1943__1_8_2_4_1_2_1 n43_a_saint_exupery_1943__1_8_2_4_1_3->n43_a_saint_exupery_1943__1_8_2_4_1_3_1 n43_a_saint_exupery_1943__1_8_2_4_1_4_1 P-ROLE n43_a_saint_exupery_1943__1_8_2_4_1_4->n43_a_saint_exupery_1943__1_8_2_4_1_4_1 n43_a_saint_exupery_1943__1_8_2_4_1_4_2 NP n43_a_saint_exupery_1943__1_8_2_4_1_4->n43_a_saint_exupery_1943__1_8_2_4_1_4_2 n43_a_saint_exupery_1943__1_8_2_4_1_4_1->n43_a_saint_exupery_1943__1_8_2_4_1_4_1_1 n43_a_saint_exupery_1943__1_8_2_4_1_4_2_1 D n43_a_saint_exupery_1943__1_8_2_4_1_4_2->n43_a_saint_exupery_1943__1_8_2_4_1_4_2_1 n43_a_saint_exupery_1943__1_8_2_4_1_4_2_2 ADJP n43_a_saint_exupery_1943__1_8_2_4_1_4_2->n43_a_saint_exupery_1943__1_8_2_4_1_4_2_2 n43_a_saint_exupery_1943__1_8_2_4_1_4_2_3 N n43_a_saint_exupery_1943__1_8_2_4_1_4_2->n43_a_saint_exupery_1943__1_8_2_4_1_4_2_3 n43_a_saint_exupery_1943__1_8_2_4_1_4_2_1->n43_a_saint_exupery_1943__1_8_2_4_1_4_2_1_1 n43_a_saint_exupery_1943__1_8_2_4_1_4_2_2_1 ADJ n43_a_saint_exupery_1943__1_8_2_4_1_4_2_2->n43_a_saint_exupery_1943__1_8_2_4_1_4_2_2_1 n43_a_saint_exupery_1943__1_8_2_4_1_4_2_2_1->n43_a_saint_exupery_1943__1_8_2_4_1_4_2_2_1_1 n43_a_saint_exupery_1943__1_8_2_4_1_4_2_3->n43_a_saint_exupery_1943__1_8_2_4_1_4_2_3_1 n43_a_saint_exupery_1943__1_9->n43_a_saint_exupery_1943__1_9_1 
( (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 ,)
                      (IP-PPL (NP-PRD (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))