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_0022__I, 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_0022__I, 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_0022__I, 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_0009__a_r_0064_0010__thousand_r_0064_0011__miles, prd).
arc(z_000_64_a_saint_exupery_1943_28, r_0064_0022__I, arg0).
arc(z_000_64_a_saint_exupery_1943_50, r_0064_0018__danger, r_0064_0017__in_clr54).
arc(z_000_64_a_saint_exupery_1943_50, r_0064_0022__I, arg0).

fof(formula,axiom,
    ? [R_0064_0014__HUMAN,R_0064_0013__ANY_R_0064_0015__HABITATION,R_0064_0009__A_R_0064_0010__THOUSAND_R_0064_0011__MILES,R_0064_0022__I,Z_000_64_A_SAINT_EXUPERY_1943_28,R_0064_0020__DEATH,R_0064_0018__DANGER,Z_000_64_A_SAINT_EXUPERY_1943_50,R_0064_0016__AND,R_0064_0003__IT,R_0064_0007__ME,R_0064_0004__MIGHT_R_0064_0005__SEEM,R_0064_0001__ABSURD,R_0064_0026__POCKET,R_0064_0030__PAPER,R_0064_0027__A_R_0064_0028__SHEET,R_0064_0033__FOUNTAIN__HYPHEN__PEN,R_0064_0031__AND,R_0064_0023__TOOK,Z_000_64_A_SAINT_EXUPERY_1943_25] :
      ( r_0064_0003__it(R_0064_0003__IT)
      & r_0064_0007__me(R_0064_0007__ME)
      & r_0064_0014__human(R_0064_0014__HUMAN)
      & r_0064_0020__death(R_0064_0020__DEATH)
      & r_0064_0022__I(R_0064_0022__I)
      & r_0064_0030__paper(R_0064_0030__PAPER)
      & z_000_64_a_saint_exupery_1943_25(Z_000_64_A_SAINT_EXUPERY_1943_25)
      & has_conj2(Z_000_64_A_SAINT_EXUPERY_1943_25,R_0064_0023__TOOK)
      & r_0064_0023__took(R_0064_0023__TOOK)
      & has_arg1(R_0064_0023__TOOK,R_0064_0031__AND)
      & r_0064_0031__and(R_0064_0031__AND)
      & has_conj2(R_0064_0031__AND,R_0064_0033__FOUNTAIN__HYPHEN__PEN)
      & r_0064_0033__fountain__hyphen__pen(R_0064_0033__FOUNTAIN__HYPHEN__PEN)
      & has_gen(R_0064_0033__FOUNTAIN__HYPHEN__PEN,R_0064_0022__I)
      & has_conj1(R_0064_0031__AND,R_0064_0027__A_R_0064_0028__SHEET)
      & r_0064_0027__a_r_0064_0028__sheet(R_0064_0027__A_R_0064_0028__SHEET)
      & has_r_0064_0029__of(R_0064_0027__A_R_0064_0028__SHEET,R_0064_0030__PAPER)
      & has_r_0064_0024__out_of_nim73(R_0064_0023__TOOK,R_0064_0026__POCKET)
      & r_0064_0026__pocket(R_0064_0026__POCKET)
      & has_gen(R_0064_0026__POCKET,R_0064_0022__I)
      & has_arg0(R_0064_0023__TOOK,R_0064_0022__I)
      & has_attrib2(R_0064_0023__TOOK,R_0064_0001__ABSURD)
      & r_0064_0001__Absurd(R_0064_0001__ABSURD)
      & has_r_0064_0002__as(R_0064_0001__ABSURD,R_0064_0004__MIGHT_R_0064_0005__SEEM)
      & r_0064_0004__might_r_0064_0005__seem(R_0064_0004__MIGHT_R_0064_0005__SEEM)
      & has_r_0064_0006__to_clr20(R_0064_0004__MIGHT_R_0064_0005__SEEM,R_0064_0007__ME)
      & has_arg0(R_0064_0004__MIGHT_R_0064_0005__SEEM,R_0064_0003__IT)
      & has_conj1(Z_000_64_A_SAINT_EXUPERY_1943_25,R_0064_0016__AND)
      & r_0064_0016__and(R_0064_0016__AND)
      & has_conj2(R_0064_0016__AND,Z_000_64_A_SAINT_EXUPERY_1943_50)
      & z_000_64_a_saint_exupery_1943_50(Z_000_64_A_SAINT_EXUPERY_1943_50)
      & has_arg0(Z_000_64_A_SAINT_EXUPERY_1943_50,R_0064_0022__I)
      & has_r_0064_0017__in_clr54(Z_000_64_A_SAINT_EXUPERY_1943_50,R_0064_0018__DANGER)
      & r_0064_0018__danger(R_0064_0018__DANGER)
      & has_r_0064_0019__of(R_0064_0018__DANGER,R_0064_0020__DEATH)
      & has_conj1(R_0064_0016__AND,Z_000_64_A_SAINT_EXUPERY_1943_28)
      & z_000_64_a_saint_exupery_1943_28(Z_000_64_A_SAINT_EXUPERY_1943_28)
      & has_arg0(Z_000_64_A_SAINT_EXUPERY_1943_28,R_0064_0022__I)
      & has_prd(Z_000_64_A_SAINT_EXUPERY_1943_28,R_0064_0009__A_R_0064_0010__THOUSAND_R_0064_0011__MILES)
      & r_0064_0009__a_r_0064_0010__thousand_r_0064_0011__miles(R_0064_0009__A_R_0064_0010__THOUSAND_R_0064_0011__MILES)
      & has_r_0064_0012__from(R_0064_0009__A_R_0064_0010__THOUSAND_R_0064_0011__MILES,R_0064_0013__ANY_R_0064_0015__HABITATION)
      & r_0064_0013__any_r_0064_0015__habitation(R_0064_0013__ANY_R_0064_0015__HABITATION)
      & has_attrib42(R_0064_0013__ANY_R_0064_0015__HABITATION,R_0064_0014__HUMAN) ) ).

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