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

arc(r_0058_0001__Remember,r_0058_0004__had,arg1).
arc(r_0058_0001__Remember,z_0058_5002,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__nim).
arc(r_0058_0005__crashed,r_0058_0009__a_r_0058_0010__thousand_r_0058_0011__miles,nim).
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,inv_arg1).
arc(r_0058_0014__inhabited,z_0058_5007___star_,arg0).

fof(formula,axiom,
    ? [R_0058_0003__I,R_0058_0007__THE_R_0058_0008__DESERT,Z_0058_5007___STAR_,R_0058_0014__INHABITED,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_0058_5002,R_0058_0001__REMEMBER] :
      ( r_0058_0003__I(R_0058_0003__I)
      & r_0058_0007__the_r_0058_0008__desert(R_0058_0007__THE_R_0058_0008__DESERT)
      & z_0058_5002(Z_0058_5002)
      & z_0058_5007___star_(Z_0058_5007___STAR_)
      & r_0058_0001__Remember(R_0058_0001__REMEMBER)
      & has_arg0(R_0058_0001__REMEMBER,Z_0058_5002)
      & 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_nim(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)
      & r_0058_0013__any_r_0058_0015__region(R_0058_0013__ANY_R_0058_0015__REGION)
      & has_inv_arg1(R_0058_0013__ANY_R_0058_0015__REGION,R_0058_0014__INHABITED)
      & r_0058_0014__inhabited(R_0058_0014__INHABITED)
      & has_arg0(R_0058_0014__INHABITED,Z_0058_5007___STAR_)
      & has_r_0058_0006__in__nim(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) ) ).