TSPC 34_a_saint_exupery

34_a_saint_exupery_1943
Then I would never talk to that person about boa constrictors, or primeval forests, or stars.

( (IP-MAT (ADVP-NIM (ADV Then;{then}))
          (NP-SBJ (PRO I;{I}))
          (MD;_cat_Vi_ would;{will})
          (IP-INF-CAT (ADVP-NIM (ADV never;{never}))
                      (VB;__ talk;{talk})
                      (PP-CLR (P-ROLE to;{to})
                              (NP;{PERSON} (D that;{that})
                                           (N person;{person})))
                      (PP-NIM (P-ROLE about;{about})
                              (NP (NLYR (NLYR (N boa;{boa})
                                              (NS constrictors;{constrictor}))
                                        (PUNC ,)
                                        (CONJP (CONJ or;{or})
                                               (NLYR (ADJP (ADJ primeval;{primeval}))
                                                     (NS forests;{forest})))
                                        (PUNC ,)
                                        (CONJP (CONJ or;{or})
                                               (NLYR (NS stars;{star})))))))
          (PUNC .))
  (ID 34_a_saint_exupery_1943))

arc(r_0034_0003__would,r_0034_0001__Then,nim).
arc(r_0034_0003__would,r_0034_0005__talk,scope).
arc(r_0034_0005__talk,r_0034_0002__I,arg0).
arc(r_0034_0005__talk,r_0034_0004__never,nim).
arc(r_0034_0005__talk,r_0034_0007__that_r_0034_0008__person,r_0034_0006__to__clr).
arc(r_0034_0005__talk,r_0034_0013__or_r_0034_0017__or,r_0034_0009__about__nim).
arc(r_0034_0013__or_r_0034_0017__or,r_0034_0010__boa_r_0034_0011__constrictors,conj1).
arc(r_0034_0013__or_r_0034_0017__or,r_0034_0015__forests,conj2).
arc(r_0034_0013__or_r_0034_0017__or,r_0034_0018__stars,conj3).
arc(r_0034_0015__forests,r_0034_0014__primeval,attrib).

fof(formula,axiom,
    ? [R_0034_0001__THEN,R_0034_0002__I,R_0034_0004__NEVER,R_0034_0007__THAT_R_0034_0008__PERSON,R_0034_0010__BOA_R_0034_0011__CONSTRICTORS,R_0034_0014__PRIMEVAL,R_0034_0015__FORESTS,R_0034_0018__STARS,R_0034_0013__OR_R_0034_0017__OR,R_0034_0003__WOULD_R_0034_0005__TALK] :
      ( r_0034_0001__Then(R_0034_0001__THEN)
      & r_0034_0002__I(R_0034_0002__I)
      & r_0034_0004__never(R_0034_0004__NEVER)
      & r_0034_0007__that_r_0034_0008__person(R_0034_0007__THAT_R_0034_0008__PERSON)
      & r_0034_0010__boa_r_0034_0011__constrictors(R_0034_0010__BOA_R_0034_0011__CONSTRICTORS)
      & r_0034_0014__primeval(R_0034_0014__PRIMEVAL)
      & r_0034_0018__stars(R_0034_0018__STARS)
      & r_0034_0003__would_r_0034_0005__talk(R_0034_0003__WOULD_R_0034_0005__TALK)
      & has_r_0034_0009__about__nim(R_0034_0003__WOULD_R_0034_0005__TALK,R_0034_0013__OR_R_0034_0017__OR)
      & r_0034_0013__or_r_0034_0017__or(R_0034_0013__OR_R_0034_0017__OR)
      & has_conj3(R_0034_0013__OR_R_0034_0017__OR,R_0034_0018__STARS)
      & has_conj2(R_0034_0013__OR_R_0034_0017__OR,R_0034_0015__FORESTS)
      & r_0034_0015__forests(R_0034_0015__FORESTS)
      & has_attrib(R_0034_0015__FORESTS,R_0034_0014__PRIMEVAL)
      & has_conj1(R_0034_0013__OR_R_0034_0017__OR,R_0034_0010__BOA_R_0034_0011__CONSTRICTORS)
      & has_r_0034_0006__to__clr(R_0034_0003__WOULD_R_0034_0005__TALK,R_0034_0007__THAT_R_0034_0008__PERSON)
      & has_nim(R_0034_0003__WOULD_R_0034_0005__TALK,R_0034_0004__NEVER)
      & has_arg0(R_0034_0003__WOULD_R_0034_0005__TALK,R_0034_0002__I)
      & has_nim(R_0034_0003__WOULD_R_0034_0005__TALK,R_0034_0001__THEN) ) ).