TSPC 70_a_joyce

70_a_joyce_1914
Two poor women and a telegram boy were reading the card pinned on the crape.

( (IP-MAT (NP-SBJ (NLYR (NLYR (NUM Two;{two})
                              (ADJP (ADJ poor;{poor}))
                              (NS women;{woman}))
                        (CONJP (CONJ and;{and})
                               (NLYR (D a;{a})
                                     (N telegram;{telegram})
                                     (N boy;{boy})))))
          (BED;_cat_Vg_ were;{be})
          (IP-PPL-CAT (VAG;_Tn_ reading;{read})
                      (NP-OB1 (D the;{the})
                              (N card;{card})
                              (IP-PPL (NP-LGS *)
                                      (VVN;_Ipr_ pinned;{pin[on]})
                                      (PP-CLR (P-ROLE on;{on})
                                              (NP (D the;{the})
                                                  (N crape;{crape}))))))
          (PUNC .))
  (ID 70_a_joyce_1914))

arc(r_0070_0001__Two_r_0070_0003__women,r_0070_0002__poor,attrib).
arc(r_0070_0004__and,r_0070_0001__Two_r_0070_0003__women,conj1).
arc(r_0070_0004__and,r_0070_0005__a_r_0070_0006__telegram_r_0070_0007__boy,conj2).
arc(r_0070_0008__were,r_0070_0009__reading,scope).
arc(r_0070_0009__reading,r_0070_0004__and,arg0).
arc(r_0070_0009__reading,r_0070_0010__the_r_0070_0011__card,arg1).
arc(r_0070_0012__pinned_r_0070_0013__on,r_0070_0010__the_r_0070_0011__card,inv_arg2).
arc(r_0070_0012__pinned_r_0070_0013__on,r_0070_0014__the_r_0070_0015__crape,arg1).
arc(r_0070_0012__pinned_r_0070_0013__on,z_0070_5008___star_,arg0).

fof(formula,axiom,
    ? [R_0070_0002__POOR,R_0070_0001__TWO_R_0070_0003__WOMEN,R_0070_0005__A_R_0070_0006__TELEGRAM_R_0070_0007__BOY,R_0070_0004__AND,R_0070_0014__THE_R_0070_0015__CRAPE,Z_0070_5008___STAR_,R_0070_0012__PINNED_R_0070_0013__ON,R_0070_0010__THE_R_0070_0011__CARD,R_0070_0008__WERE_R_0070_0009__READING] :
      ( r_0070_0002__poor(R_0070_0002__POOR)
      & r_0070_0005__a_r_0070_0006__telegram_r_0070_0007__boy(R_0070_0005__A_R_0070_0006__TELEGRAM_R_0070_0007__BOY)
      & r_0070_0014__the_r_0070_0015__crape(R_0070_0014__THE_R_0070_0015__CRAPE)
      & z_0070_5008___star_(Z_0070_5008___STAR_)
      & r_0070_0008__were_r_0070_0009__reading(R_0070_0008__WERE_R_0070_0009__READING)
      & has_arg1(R_0070_0008__WERE_R_0070_0009__READING,R_0070_0010__THE_R_0070_0011__CARD)
      & r_0070_0010__the_r_0070_0011__card(R_0070_0010__THE_R_0070_0011__CARD)
      & has_inv_arg2(R_0070_0010__THE_R_0070_0011__CARD,R_0070_0012__PINNED_R_0070_0013__ON)
      & r_0070_0012__pinned_r_0070_0013__on(R_0070_0012__PINNED_R_0070_0013__ON)
      & has_arg0(R_0070_0012__PINNED_R_0070_0013__ON,Z_0070_5008___STAR_)
      & has_arg1(R_0070_0012__PINNED_R_0070_0013__ON,R_0070_0014__THE_R_0070_0015__CRAPE)
      & has_arg0(R_0070_0008__WERE_R_0070_0009__READING,R_0070_0004__AND)
      & r_0070_0004__and(R_0070_0004__AND)
      & has_conj2(R_0070_0004__AND,R_0070_0005__A_R_0070_0006__TELEGRAM_R_0070_0007__BOY)
      & has_conj1(R_0070_0004__AND,R_0070_0001__TWO_R_0070_0003__WOMEN)
      & r_0070_0001__Two_r_0070_0003__women(R_0070_0001__TWO_R_0070_0003__WOMEN)
      & has_attrib(R_0070_0001__TWO_R_0070_0003__WOMEN,R_0070_0002__POOR) ) ).