TSPC 64_a_saint_exupery

64_a_saint_exupery_1943
Absurd as it might seem to me, a thousand miles from any human habitation and in danger of death, I took out of my pocket a sheet of paper and my fountain-pen.

arc(r_0064_0001__Absurd, r_0064_0004__might, r_0064_0002__as).
arc(r_0064_0004__might, r_0064_0005__seem, scope).
arc(r_0064_0005__seem, r_0064_0003__it, arg0).
arc(r_0064_0005__seem, r_0064_0007__me, r_0064_0006__to_clr20).
arc(r_0064_0009__a_r_0064_0010__thousand_r_0064_0011__miles, r_0064_0013__any_r_0064_0015__habitation, r_0064_0012__from).
arc(r_0064_0013__any_r_0064_0015__habitation, r_0064_0014__human, attrib42).
arc(r_0064_0016__and, z_000_64_a_saint_exupery_1943_28, conj1).
arc(r_0064_0016__and, z_000_64_a_saint_exupery_1943_50, conj2).
arc(r_0064_0018__danger, r_0064_0020__death, r_0064_0019__of).
arc(r_0064_0023__took, r_0064_0001__Absurd, attrib2).
arc(r_0064_0023__took, r_0064_0007__me, arg0).
arc(r_0064_0023__took, r_0064_0026__pocket, r_0064_0024__out_of_nim73).
arc(r_0064_0023__took, r_0064_0031__and, arg1).
arc(r_0064_0026__pocket, r_0064_0007__me, gen).
arc(r_0064_0027__a_r_0064_0028__sheet, r_0064_0030__paper, r_0064_0029__of).
arc(r_0064_0031__and, r_0064_0027__a_r_0064_0028__sheet, conj1).
arc(r_0064_0031__and, r_0064_0033__fountain__hyphen__pen, conj2).
arc(r_0064_0033__fountain__hyphen__pen, r_0064_0007__me, gen).
arc(z_000_64_a_saint_exupery_1943_25, r_0064_0016__and, restriction).
arc(z_000_64_a_saint_exupery_1943_25, r_0064_0023__took, scope).
arc(z_000_64_a_saint_exupery_1943_28, r_0064_0007__me, arg0).
arc(z_000_64_a_saint_exupery_1943_28, r_0064_0009__a_r_0064_0010__thousand_r_0064_0011__miles, prd).
arc(z_000_64_a_saint_exupery_1943_50, r_0064_0007__me, arg0).
arc(z_000_64_a_saint_exupery_1943_50, r_0064_0018__danger, r_0064_0017__in_clr54).

fof(formula,axiom,
    ? [Z_64_A_SAINT_EXUPERY_1943_25,R_64_16_AND,Z_64_A_SAINT_EXUPERY_1943_28,R_64_9_A_THOUSAND_MILES,R_64_13_ANY_HABITATION,R_64_14_HUMAN,Z_64_A_SAINT_EXUPERY_1943_50,R_64_18_DANGER,R_64_20_DEATH,R_64_23_TOOK,R_64_31_AND,R_64_27_A_SHEET,R_64_30_PAPER,R_64_33_FOUNTAIN_HYPHEN_PEN,R_64_1_ABSURD,R_64_4_MIGHT_SEEM,R_64_3_IT,R_64_26_POCKET,R_64_7_ME] :
      ( human(R_64_14_HUMAN)
      & death(R_64_20_DEATH)
      & paper(R_64_30_PAPER)
      & it(R_64_3_IT)
      & me(R_64_7_ME)
      & z_64_a_saint_exupery_1943_25(Z_64_A_SAINT_EXUPERY_1943_25)
      & conj1(Z_64_A_SAINT_EXUPERY_1943_25,R_64_16_AND)
      & and(R_64_16_AND)
      & conj1(R_64_16_AND,Z_64_A_SAINT_EXUPERY_1943_28)
      & z_64_a_saint_exupery_1943_28(Z_64_A_SAINT_EXUPERY_1943_28,R_64_7_ME,R_64_9_A_THOUSAND_MILES)
      & a_thousand_miles(R_64_9_A_THOUSAND_MILES)
      & from(R_64_9_A_THOUSAND_MILES,R_64_13_ANY_HABITATION)
      & any_habitation(R_64_13_ANY_HABITATION)
      & attrib42(R_64_13_ANY_HABITATION,R_64_14_HUMAN)
      & conj2(R_64_16_AND,Z_64_A_SAINT_EXUPERY_1943_50)
      & z_64_a_saint_exupery_1943_50(Z_64_A_SAINT_EXUPERY_1943_50,R_64_7_ME)
      & in_clr54(Z_64_A_SAINT_EXUPERY_1943_50,R_64_18_DANGER)
      & danger(R_64_18_DANGER)
      & of(R_64_18_DANGER,R_64_20_DEATH)
      & conj2(Z_64_A_SAINT_EXUPERY_1943_25,R_64_23_TOOK)
      & took(R_64_23_TOOK,R_64_7_ME,R_64_31_AND)
      & and(R_64_31_AND)
      & conj1(R_64_31_AND,R_64_27_A_SHEET)
      & a_sheet(R_64_27_A_SHEET)
      & of(R_64_27_A_SHEET,R_64_30_PAPER)
      & conj2(R_64_31_AND,R_64_33_FOUNTAIN_HYPHEN_PEN)
      & fountain_hyphen_pen(R_64_33_FOUNTAIN_HYPHEN_PEN)
      & gen(R_64_33_FOUNTAIN_HYPHEN_PEN,R_64_7_ME)
      & attrib2(R_64_23_TOOK,R_64_1_ABSURD)
      & absurd(R_64_1_ABSURD)
      & as(R_64_1_ABSURD,R_64_4_MIGHT_SEEM)
      & might_seem(R_64_4_MIGHT_SEEM,R_64_3_IT)
      & to_clr20(R_64_4_MIGHT_SEEM,R_64_7_ME)
      & out_of_nim73(R_64_23_TOOK,R_64_26_POCKET)
      & pocket(R_64_26_POCKET)
      & gen(R_64_26_POCKET,R_64_7_ME) ) ).

( (IP-MAT (ADJP-NIM (ADJ Absurd;{absurd})
                    (PP (P-ROLE as;{as})
                        (IP-ADV (NP-SBJ (PRO it;{it}))
                                (MD;_cat_Vi_ might;{may})
                                (IP-INF-CAT (VB;_Ipr_ seem;{seem[to]})
                                            (PP-CLR (P-ROLE to;{to})
                                                    (NP (PRO me;{I})))))))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (ILYR (ILYR (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})))))
                                  (CONJP (CONJ and;{and})
                                         (ILYR (PP-CLR (P-ROLE in;{in})
                                                       (NP (N danger;{danger})
                                                           (PP (P-ROLE of;{of})
                                                               (NP (N death;{death}))))))))))
          (PUNC ,)
          (NP-SBJ (PRO I;{I}))
          (VBD;__ took;{take})
          (PP-NIM (P-ROLE out_of;{out_of})
                  (NP (NP-GEN (PRO;_genm_ my;{my}))
                      (N pocket;{pocket})))
          (NP-OB1 (NLYR (NLYR (D a;{a})
                              (N sheet;{sheet})
                              (PP (P-ROLE of;{of})
                                  (NP (N paper;{paper}))))
                        (CONJP (CONJ and;{and})
                               (NLYR (NP-GEN (PRO;_genm_ my;{my}))
                                     (N fountain_<hyphen>_pen;{fountain_pen})))))
          (PUNC .))
  (ID 64_a_saint_exupery_1943))