TSPC 1_a_stories_discourse

1_a_stories_discourse_1
Pointing to seashells and bones scattered at his feet, he said to us, “Let's take these home as well.”

( (IP-MAT (PP-SCON (IP-PPL2 (VAG;_Ipr_ Pointing;{point[to]})
                            (PP-CLR (P-ROLE to;{to})
                                    (NP;{JUNK} (NLYR (NLYR (NS seashells;{seashell}))
                                                     (CONJP (CONJ and;{and})
                                                            (NLYR (NS bones;{bone}))))
                                               (IP-PPL (NP-LGS *)
                                                       (VVN;_Tn.pr_ scattered;{scatter[at]})
                                                       (PP-CLR (P-ROLE at;{at})
                                                               (NP (NP-GEN;{TEACHER} (PRO;_genm_ his;{his}))
                                                                   (NS feet;{foot}))))))))
          (PUNC ,)
          (NP-SBJ;{TEACHER} (PRO he;{he}))
          (VBD;_Dpr.r_ said;{say[to]})
          (PP-OB2 (P-ROLE to;{to})
                  (NP;{STUDENTS} (PRO us;{us})))
          (PUNC ,)
          (PULQ <ldquo>)
          (utterance-OB1 (IP-IMP (NP-DSC;{TEACHER+STUDENTS} (NLYR (NLYR;{TEACHER} (PRO _*_))
                                                                  (CONJP (NLYR;{STUDENTS} (PRO _*_)))))
                                 (VBP;_Cn.i_ Let;{let})
                                 (NP-OB1;{TEACHER+STUDENTS} (PRO <apos>s;{we}))
                                 (IP-INF-PRD (VBP;_Tn.p_ take;{take[home]})
                                             (NP-OB1;{JUNK} (D;_nphd_ these;{these}))
                                             (ADVP-CLR (ADV home;{home}))
                                             (ADVP-NIM (ADV as_well;{as_well})))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 1_a_stories_discourse_1))

arc(r_0001_0001__Pointing_r_0001_0002__to,r_0001_0004__and,arg1).
arc(r_0001_0001__Pointing_r_0001_0002__to,r_0001_0011__he,arg0).
arc(r_0001_0004__and,r_0001_0003__seashells,conj1).
arc(r_0001_0004__and,r_0001_0005__bones,conj2).
arc(r_0001_0006__scattered_r_0001_0007__at,r_0001_0004__and,inv_arg1).
arc(r_0001_0006__scattered_r_0001_0007__at,r_0001_0009__feet,arg2).
arc(r_0001_0006__scattered_r_0001_0007__at,z_0001_5007___star_,arg0).
arc(r_0001_0009__feet,r_0001_0011__he,gen).
arc(r_0001_0012__said_r_0001_0013__to,r_0001_0011__he,arg0).
arc(r_0001_0012__said_r_0001_0013__to,r_0001_0014__us,arg2).
arc(r_0001_0012__said_r_0001_0013__to,z_0001_5013__utterance,arg1).
arc(r_0001_0017__Let,r_0001_0019__take_r_0001_0021__home,prd).
arc(r_0001_0017__Let,z_0001_5015,arg0).
arc(r_0001_0017__Let,z_0001_5019,arg1).
arc(r_0001_0019__take_r_0001_0021__home,r_0001_0004__and,arg1).
arc(r_0001_0019__take_r_0001_0021__home,r_0001_0022__as_well,nim).
arc(r_0001_0019__take_r_0001_0021__home,z_0001_5023,arg0).
arc(z_0001_5002,r_0001_0001__Pointing_r_0001_0002__to,restriction).
arc(z_0001_5002,r_0001_0012__said_r_0001_0013__to,scope).
arc(z_0001_5013__utterance,r_0001_0017__Let,part1).
arc(z_0001_5019,r_0001_0011__he,conj1).
arc(z_0001_5019,r_0001_0014__us,conj2).

fof(formula,axiom,
    ? [R_0001_0003__SEASHELLS,R_0001_0005__BONES,R_0001_0011__HE,R_0001_0009__FEET,Z_0001_5007___STAR_,R_0001_0006__SCATTERED_R_0001_0007__AT,R_0001_0004__AND,R_0001_0001__POINTING_R_0001_0002__TO,R_0001_0014__US,R_0001_0022__AS_WELL,Z_0001_5023,R_0001_0019__TAKE_R_0001_0021__HOME,Z_0001_5015,Z_0001_5019,R_0001_0017__LET,Z_0001_5013__UTTERANCE,R_0001_0012__SAID_R_0001_0013__TO,Z_0001_5002] :
      ( r_0001_0003__seashells(R_0001_0003__SEASHELLS)
      & r_0001_0005__bones(R_0001_0005__BONES)
      & r_0001_0011__he(R_0001_0011__HE)
      & r_0001_0014__us(R_0001_0014__US)
      & r_0001_0022__as_well(R_0001_0022__AS_WELL)
      & z_0001_5007___star_(Z_0001_5007___STAR_)
      & z_0001_5015(Z_0001_5015)
      & z_0001_5023(Z_0001_5023)
      & z_0001_5002(Z_0001_5002)
      & has_conj2(Z_0001_5002,R_0001_0012__SAID_R_0001_0013__TO)
      & r_0001_0012__said_r_0001_0013__to(R_0001_0012__SAID_R_0001_0013__TO)
      & has_arg1(R_0001_0012__SAID_R_0001_0013__TO,Z_0001_5013__UTTERANCE)
      & z_0001_5013__utterance(Z_0001_5013__UTTERANCE)
      & has_part1(Z_0001_5013__UTTERANCE,R_0001_0017__LET)
      & r_0001_0017__Let(R_0001_0017__LET)
      & has_arg1(R_0001_0017__LET,Z_0001_5019)
      & z_0001_5019(Z_0001_5019)
      & has_conj2(Z_0001_5019,R_0001_0014__US)
      & has_conj1(Z_0001_5019,R_0001_0011__HE)
      & has_arg0(R_0001_0017__LET,Z_0001_5015)
      & has_prd(R_0001_0017__LET,R_0001_0019__TAKE_R_0001_0021__HOME)
      & r_0001_0019__take_r_0001_0021__home(R_0001_0019__TAKE_R_0001_0021__HOME)
      & has_arg0(R_0001_0019__TAKE_R_0001_0021__HOME,Z_0001_5023)
      & has_nim(R_0001_0019__TAKE_R_0001_0021__HOME,R_0001_0022__AS_WELL)
      & has_arg1(R_0001_0019__TAKE_R_0001_0021__HOME,R_0001_0004__AND)
      & r_0001_0004__and(R_0001_0004__AND)
      & has_inv_arg1(R_0001_0004__AND,R_0001_0006__SCATTERED_R_0001_0007__AT)
      & r_0001_0006__scattered_r_0001_0007__at(R_0001_0006__SCATTERED_R_0001_0007__AT)
      & has_arg0(R_0001_0006__SCATTERED_R_0001_0007__AT,Z_0001_5007___STAR_)
      & has_arg2(R_0001_0006__SCATTERED_R_0001_0007__AT,R_0001_0009__FEET)
      & r_0001_0009__feet(R_0001_0009__FEET)
      & has_gen(R_0001_0009__FEET,R_0001_0011__HE)
      & has_conj2(R_0001_0004__AND,R_0001_0005__BONES)
      & has_conj1(R_0001_0004__AND,R_0001_0003__SEASHELLS)
      & has_arg2(R_0001_0012__SAID_R_0001_0013__TO,R_0001_0014__US)
      & has_arg0(R_0001_0012__SAID_R_0001_0013__TO,R_0001_0011__HE)
      & has_conj1(Z_0001_5002,R_0001_0001__POINTING_R_0001_0002__TO)
      & r_0001_0001__Pointing_r_0001_0002__to(R_0001_0001__POINTING_R_0001_0002__TO)
      & has_arg0(R_0001_0001__POINTING_R_0001_0002__TO,R_0001_0011__HE)
      & has_arg1(R_0001_0001__POINTING_R_0001_0002__TO,R_0001_0004__AND) ) ).