Context                Previous, Next                Top


58_a_saint_exupery_1943
Remember, I had crashed in the desert a thousand miles from any inhabited region.

%3 r_0058_0001__Remember Remember r_0058_0004__had had r_0058_0001__Remember->r_0058_0004__had [arg1] z_000_58_a_saint_exupery_1943_1 r_0058_0001__Remember->z_000_58_a_saint_exupery_1943_1 [arg0] r_0058_0005__crashed crashed r_0058_0004__had->r_0058_0005__crashed [scope] r_0058_0003__I I r_0058_0005__crashed->r_0058_0003__I [arg0] r_0058_0007__the_r_0058_0008__desert the desert r_0058_0005__crashed->r_0058_0007__the_r_0058_0008__desert in [nim] r_0058_0009__a_r_0058_0010__thousand_r_0058_0011__miles a thousand miles r_0058_0005__crashed->r_0058_0009__a_r_0058_0010__thousand_r_0058_0011__miles [nim] r_0058_0013__any_r_0058_0015__region any region r_0058_0009__a_r_0058_0010__thousand_r_0058_0011__miles->r_0058_0013__any_r_0058_0015__region from r_0058_0014__inhabited inhabited r_0058_0014__inhabited->r_0058_0013__any_r_0058_0015__region [arg1] z_000_58_a_saint_exupery_1943_38 r_0058_0014__inhabited->z_000_58_a_saint_exupery_1943_38 [arg0] 
arc(r_0058_0001__Remember, r_0058_0004__had, arg1).
arc(r_0058_0001__Remember, z_000_58_a_saint_exupery_1943_1, arg0).
arc(r_0058_0004__had, r_0058_0005__crashed, scope).
arc(r_0058_0005__crashed, r_0058_0003__I, arg0).
arc(r_0058_0005__crashed, r_0058_0007__the_r_0058_0008__desert, r_0058_0006__in_nim19).
arc(r_0058_0005__crashed, r_0058_0009__a_r_0058_0010__thousand_r_0058_0011__miles, nim24).
arc(r_0058_0009__a_r_0058_0010__thousand_r_0058_0011__miles, r_0058_0013__any_r_0058_0015__region, r_0058_0012__from).
arc(r_0058_0014__inhabited, r_0058_0013__any_r_0058_0015__region, arg1).
arc(r_0058_0014__inhabited, z_000_58_a_saint_exupery_1943_38, arg0).


%3 r_0058_0014__inhabited inhabited z_000_58_a_saint_exupery_1943_38 r_0058_0014__inhabited->z_000_58_a_saint_exupery_1943_38 [arg0] r_0058_0013__any_r_0058_0015__region any region r_0058_0014__inhabited->r_0058_0013__any_r_0058_0015__region [arg1] r_0058_0009__a_r_0058_0010__thousand_r_0058_0011__miles a thousand miles r_0058_0009__a_r_0058_0010__thousand_r_0058_0011__miles->r_0058_0013__any_r_0058_0015__region from r_0058_0004__had_r_0058_0005__crashed had crashed r_0058_0004__had_r_0058_0005__crashed->r_0058_0009__a_r_0058_0010__thousand_r_0058_0011__miles [nim] r_0058_0007__the_r_0058_0008__desert the desert r_0058_0004__had_r_0058_0005__crashed->r_0058_0007__the_r_0058_0008__desert in [nim] r_0058_0003__I I r_0058_0004__had_r_0058_0005__crashed->r_0058_0003__I [arg0] r_0058_0001__Remember Remember r_0058_0001__Remember->r_0058_0004__had_r_0058_0005__crashed [arg1] z_000_58_a_saint_exupery_1943_1 r_0058_0001__Remember->z_000_58_a_saint_exupery_1943_1 [arg0] 
fof(formula,axiom,
    ? [R_0058_0003__I,R_0058_0007__THE_R_0058_0008__DESERT,R_0058_0013__ANY_R_0058_0015__REGION,R_0058_0009__A_R_0058_0010__THOUSAND_R_0058_0011__MILES,R_0058_0004__HAD_R_0058_0005__CRASHED,Z_000_58_A_SAINT_EXUPERY_1943_1,R_0058_0001__REMEMBER,Z_000_58_A_SAINT_EXUPERY_1943_38,R_0058_0014__INHABITED] :
      ( r_0058_0003__I(R_0058_0003__I)
      & r_0058_0007__the_r_0058_0008__desert(R_0058_0007__THE_R_0058_0008__DESERT)
      & r_0058_0013__any_r_0058_0015__region(R_0058_0013__ANY_R_0058_0015__REGION)
      & z_000_58_a_saint_exupery_1943_1(Z_000_58_A_SAINT_EXUPERY_1943_1)
      & z_000_58_a_saint_exupery_1943_38(Z_000_58_A_SAINT_EXUPERY_1943_38)
      & r_0058_0014__inhabited(R_0058_0014__INHABITED)
      & has_arg0(R_0058_0014__INHABITED,Z_000_58_A_SAINT_EXUPERY_1943_38)
      & has_arg1(R_0058_0014__INHABITED,R_0058_0013__ANY_R_0058_0015__REGION)
      & r_0058_0001__Remember(R_0058_0001__REMEMBER)
      & has_arg0(R_0058_0001__REMEMBER,Z_000_58_A_SAINT_EXUPERY_1943_1)
      & has_arg1(R_0058_0001__REMEMBER,R_0058_0004__HAD_R_0058_0005__CRASHED)
      & r_0058_0004__had_r_0058_0005__crashed(R_0058_0004__HAD_R_0058_0005__CRASHED)
      & has_nim24(R_0058_0004__HAD_R_0058_0005__CRASHED,R_0058_0009__A_R_0058_0010__THOUSAND_R_0058_0011__MILES)
      & r_0058_0009__a_r_0058_0010__thousand_r_0058_0011__miles(R_0058_0009__A_R_0058_0010__THOUSAND_R_0058_0011__MILES)
      & has_r_0058_0012__from(R_0058_0009__A_R_0058_0010__THOUSAND_R_0058_0011__MILES,R_0058_0013__ANY_R_0058_0015__REGION)
      & has_r_0058_0006__in_nim19(R_0058_0004__HAD_R_0058_0005__CRASHED,R_0058_0007__THE_R_0058_0008__DESERT)
      & has_arg0(R_0058_0004__HAD_R_0058_0005__CRASHED,R_0058_0003__I) ) ).


n58_a_saint_exupery_1943 n58_a_saint_exupery_1943__1_1_1 Remember n58_a_saint_exupery_1943__1_2_1 , n58_a_saint_exupery_1943__1_3_1_1_1_1 I n58_a_saint_exupery_1943__1_3_1_2_1 had n58_a_saint_exupery_1943__1_3_1_3_1_1 crashed n58_a_saint_exupery_1943__1_3_1_3_2_1_1 in n58_a_saint_exupery_1943__1_3_1_3_2_2_1_1 the n58_a_saint_exupery_1943__1_3_1_3_2_2_2_1 desert n58_a_saint_exupery_1943__1_3_1_3_3_1_1 a n58_a_saint_exupery_1943__1_3_1_3_3_2_1 thousand n58_a_saint_exupery_1943__1_3_1_3_3_3_1 miles n58_a_saint_exupery_1943__1_3_1_3_3_4_1_1 from n58_a_saint_exupery_1943__1_3_1_3_3_4_2_1_1 any n58_a_saint_exupery_1943__1_3_1_3_3_4_2_2_1_1 * n58_a_saint_exupery_1943__1_3_1_3_3_4_2_2_2_1 inhabited n58_a_saint_exupery_1943__1_3_1_3_3_4_2_3_1 region n58_a_saint_exupery_1943__1_4_1 . n58_a_saint_exupery_1943__1 IP-IMP n58_a_saint_exupery_1943__1_1 VB;__ n58_a_saint_exupery_1943__1->n58_a_saint_exupery_1943__1_1 n58_a_saint_exupery_1943__1_2 PUNC n58_a_saint_exupery_1943__1->n58_a_saint_exupery_1943__1_2 n58_a_saint_exupery_1943__1_3 CP-THT-OB1 n58_a_saint_exupery_1943__1->n58_a_saint_exupery_1943__1_3 n58_a_saint_exupery_1943__1_4 PUNC n58_a_saint_exupery_1943__1->n58_a_saint_exupery_1943__1_4 n58_a_saint_exupery_1943__1_1->n58_a_saint_exupery_1943__1_1_1 n58_a_saint_exupery_1943__1_2->n58_a_saint_exupery_1943__1_2_1 n58_a_saint_exupery_1943__1_3_1 IP-SUB n58_a_saint_exupery_1943__1_3->n58_a_saint_exupery_1943__1_3_1 n58_a_saint_exupery_1943__1_3_1_1 NP-SBJ n58_a_saint_exupery_1943__1_3_1->n58_a_saint_exupery_1943__1_3_1_1 n58_a_saint_exupery_1943__1_3_1_2 HVD;_cat_Ve_ n58_a_saint_exupery_1943__1_3_1->n58_a_saint_exupery_1943__1_3_1_2 n58_a_saint_exupery_1943__1_3_1_3 IP-PPL-CAT n58_a_saint_exupery_1943__1_3_1->n58_a_saint_exupery_1943__1_3_1_3 n58_a_saint_exupery_1943__1_3_1_1_1 PRO n58_a_saint_exupery_1943__1_3_1_1->n58_a_saint_exupery_1943__1_3_1_1_1 n58_a_saint_exupery_1943__1_3_1_1_1->n58_a_saint_exupery_1943__1_3_1_1_1_1 n58_a_saint_exupery_1943__1_3_1_2->n58_a_saint_exupery_1943__1_3_1_2_1 n58_a_saint_exupery_1943__1_3_1_3_1 VVN;__ n58_a_saint_exupery_1943__1_3_1_3->n58_a_saint_exupery_1943__1_3_1_3_1 n58_a_saint_exupery_1943__1_3_1_3_2 PP-NIM n58_a_saint_exupery_1943__1_3_1_3->n58_a_saint_exupery_1943__1_3_1_3_2 n58_a_saint_exupery_1943__1_3_1_3_3 NP-NIM n58_a_saint_exupery_1943__1_3_1_3->n58_a_saint_exupery_1943__1_3_1_3_3 n58_a_saint_exupery_1943__1_3_1_3_1->n58_a_saint_exupery_1943__1_3_1_3_1_1 n58_a_saint_exupery_1943__1_3_1_3_2_1 P-ROLE n58_a_saint_exupery_1943__1_3_1_3_2->n58_a_saint_exupery_1943__1_3_1_3_2_1 n58_a_saint_exupery_1943__1_3_1_3_2_2 NP n58_a_saint_exupery_1943__1_3_1_3_2->n58_a_saint_exupery_1943__1_3_1_3_2_2 n58_a_saint_exupery_1943__1_3_1_3_2_1->n58_a_saint_exupery_1943__1_3_1_3_2_1_1 n58_a_saint_exupery_1943__1_3_1_3_2_2_1 D n58_a_saint_exupery_1943__1_3_1_3_2_2->n58_a_saint_exupery_1943__1_3_1_3_2_2_1 n58_a_saint_exupery_1943__1_3_1_3_2_2_2 N n58_a_saint_exupery_1943__1_3_1_3_2_2->n58_a_saint_exupery_1943__1_3_1_3_2_2_2 n58_a_saint_exupery_1943__1_3_1_3_2_2_1->n58_a_saint_exupery_1943__1_3_1_3_2_2_1_1 n58_a_saint_exupery_1943__1_3_1_3_2_2_2->n58_a_saint_exupery_1943__1_3_1_3_2_2_2_1 n58_a_saint_exupery_1943__1_3_1_3_3_1 D n58_a_saint_exupery_1943__1_3_1_3_3->n58_a_saint_exupery_1943__1_3_1_3_3_1 n58_a_saint_exupery_1943__1_3_1_3_3_2 NUM n58_a_saint_exupery_1943__1_3_1_3_3->n58_a_saint_exupery_1943__1_3_1_3_3_2 n58_a_saint_exupery_1943__1_3_1_3_3_3 NS n58_a_saint_exupery_1943__1_3_1_3_3->n58_a_saint_exupery_1943__1_3_1_3_3_3 n58_a_saint_exupery_1943__1_3_1_3_3_4 PP n58_a_saint_exupery_1943__1_3_1_3_3->n58_a_saint_exupery_1943__1_3_1_3_3_4 n58_a_saint_exupery_1943__1_3_1_3_3_1->n58_a_saint_exupery_1943__1_3_1_3_3_1_1 n58_a_saint_exupery_1943__1_3_1_3_3_2->n58_a_saint_exupery_1943__1_3_1_3_3_2_1 n58_a_saint_exupery_1943__1_3_1_3_3_3->n58_a_saint_exupery_1943__1_3_1_3_3_3_1 n58_a_saint_exupery_1943__1_3_1_3_3_4_1 P-ROLE n58_a_saint_exupery_1943__1_3_1_3_3_4->n58_a_saint_exupery_1943__1_3_1_3_3_4_1 n58_a_saint_exupery_1943__1_3_1_3_3_4_2 NP n58_a_saint_exupery_1943__1_3_1_3_3_4->n58_a_saint_exupery_1943__1_3_1_3_3_4_2 n58_a_saint_exupery_1943__1_3_1_3_3_4_1->n58_a_saint_exupery_1943__1_3_1_3_3_4_1_1 n58_a_saint_exupery_1943__1_3_1_3_3_4_2_1 D n58_a_saint_exupery_1943__1_3_1_3_3_4_2->n58_a_saint_exupery_1943__1_3_1_3_3_4_2_1 n58_a_saint_exupery_1943__1_3_1_3_3_4_2_2 IP-PPL n58_a_saint_exupery_1943__1_3_1_3_3_4_2->n58_a_saint_exupery_1943__1_3_1_3_3_4_2_2 n58_a_saint_exupery_1943__1_3_1_3_3_4_2_3 N n58_a_saint_exupery_1943__1_3_1_3_3_4_2->n58_a_saint_exupery_1943__1_3_1_3_3_4_2_3 n58_a_saint_exupery_1943__1_3_1_3_3_4_2_1->n58_a_saint_exupery_1943__1_3_1_3_3_4_2_1_1 n58_a_saint_exupery_1943__1_3_1_3_3_4_2_2_1 NP-LGS n58_a_saint_exupery_1943__1_3_1_3_3_4_2_2->n58_a_saint_exupery_1943__1_3_1_3_3_4_2_2_1 n58_a_saint_exupery_1943__1_3_1_3_3_4_2_2_2 VVN;__ n58_a_saint_exupery_1943__1_3_1_3_3_4_2_2->n58_a_saint_exupery_1943__1_3_1_3_3_4_2_2_2 n58_a_saint_exupery_1943__1_3_1_3_3_4_2_2_1->n58_a_saint_exupery_1943__1_3_1_3_3_4_2_2_1_1 n58_a_saint_exupery_1943__1_3_1_3_3_4_2_2_2->n58_a_saint_exupery_1943__1_3_1_3_3_4_2_2_2_1 n58_a_saint_exupery_1943__1_3_1_3_3_4_2_3->n58_a_saint_exupery_1943__1_3_1_3_3_4_2_3_1 n58_a_saint_exupery_1943__1_4->n58_a_saint_exupery_1943__1_4_1 
( (IP-IMP (VB;__ Remember;{remember})
          (PUNC ,)
          (CP-THT-OB1 (IP-SUB (NP-SBJ (PRO I;{I}))
                              (HVD;_cat_Ve_ had;{have})
                              (IP-PPL-CAT (VVN;__ crashed;{crash})
                                          (PP-NIM (P-ROLE in;{in})
                                                  (NP (D the;{the})
                                                      (N desert;{desert})))
                                          (NP-NIM (D a;{a})
                                                  (NUM thousand;{thousand})
                                                  (NS miles;{mile})
                                                  (PP (P-ROLE from;{from})
                                                      (NP (D any;{any})
                                                          (IP-PPL (NP-LGS *)
                                                                  (VVN;__ inhabited;{inhabit}))
                                                          (N region;{region})))))))
          (PUNC .))
  (ID 58_a_saint_exupery_1943))