TSPC 145_a_wilde_1

145_a_wilde_1_1888
They are made of rare sapphires, which were brought out of India a thousand years ago.

( (IP-MAT (NP-SBJ;{EYES} (PRO They;{they}))
          (BEP;_cat_VePASS_ are;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn.pr_ made;{make[of]})
                      (PP-CLR (P-ROLE of;{of})
                              (NP (ADJP (ADJ rare;{rare}))
                                  (NS sapphires;{sapphire})
                                  (PUNC ,)
                                  (IP-REL (NP-SBJ (RPRO which;{which}))
                                          (BED;_cat_VePASS_ were;{be})
                                          (IP-PPL-CAT (NP-LGS *)
                                                      (VVN;_Tn_ brought;{bring})
                                                      (PP-NIM (P-ROLE out_of;{out_of})
                                                              (NP (NPR India;{India})))
                                                      (ADVP-NIM (NP (D a;{a})
                                                                    (NUM thousand;{thousand})
                                                                    (NS years;{year}))
                                                                (ADV ago;{ago})))))))
          (PUNC .))
  (ID 145_a_wilde_1_1888))

arc(r_0145_0002__are,r_0145_0003__made_r_0145_0004__of,scope).
arc(r_0145_0003__made_r_0145_0004__of,r_0145_0001__They,arg1).
arc(r_0145_0003__made_r_0145_0004__of,r_0145_0006__sapphires,arg2).
arc(r_0145_0003__made_r_0145_0004__of,z_0145_5010___star_,arg0).
arc(r_0145_0006__sapphires,r_0145_0005__rare,attrib).
arc(r_0145_0009__were,r_0145_0010__brought,scope).
arc(r_0145_0010__brought,r_0145_0006__sapphires,arg1).
arc(r_0145_0010__brought,r_0145_0012__India,r_0145_0011__out_of__nim).
arc(r_0145_0010__brought,r_0145_0016__ago,nim).
arc(r_0145_0010__brought,z_0145_5007___star_,arg0).
arc(r_0145_0016__ago,r_0145_0013__a_r_0145_0014__thousand_r_0145_0015__years,nim).

fof(formula,axiom,
    ? [R_0145_0001__THEY,R_0145_0005__RARE,R_0145_0006__SAPPHIRES,Z_0145_5010___STAR_,R_0145_0002__ARE_R_0145_0003__MADE_R_0145_0004__OF,R_0145_0012__INDIA,R_0145_0013__A_R_0145_0014__THOUSAND_R_0145_0015__YEARS,R_0145_0016__AGO,Z_0145_5007___STAR_,R_0145_0009__WERE_R_0145_0010__BROUGHT] :
      ( r_0145_0001__They(R_0145_0001__THEY)
      & r_0145_0005__rare(R_0145_0005__RARE)
      & r_0145_0012__India(R_0145_0012__INDIA)
      & r_0145_0013__a_r_0145_0014__thousand_r_0145_0015__years(R_0145_0013__A_R_0145_0014__THOUSAND_R_0145_0015__YEARS)
      & z_0145_5007___star_(Z_0145_5007___STAR_)
      & z_0145_5010___star_(Z_0145_5010___STAR_)
      & r_0145_0009__were_r_0145_0010__brought(R_0145_0009__WERE_R_0145_0010__BROUGHT)
      & has_arg0(R_0145_0009__WERE_R_0145_0010__BROUGHT,Z_0145_5007___STAR_)
      & has_nim(R_0145_0009__WERE_R_0145_0010__BROUGHT,R_0145_0016__AGO)
      & r_0145_0016__ago(R_0145_0016__AGO)
      & has_nim(R_0145_0016__AGO,R_0145_0013__A_R_0145_0014__THOUSAND_R_0145_0015__YEARS)
      & has_r_0145_0011__out_of__nim(R_0145_0009__WERE_R_0145_0010__BROUGHT,R_0145_0012__INDIA)
      & has_arg1(R_0145_0009__WERE_R_0145_0010__BROUGHT,R_0145_0006__SAPPHIRES)
      & r_0145_0006__sapphires(R_0145_0006__SAPPHIRES)
      & has_attrib(R_0145_0006__SAPPHIRES,R_0145_0005__RARE)
      & r_0145_0002__are_r_0145_0003__made_r_0145_0004__of(R_0145_0002__ARE_R_0145_0003__MADE_R_0145_0004__OF)
      & has_arg0(R_0145_0002__ARE_R_0145_0003__MADE_R_0145_0004__OF,Z_0145_5010___STAR_)
      & has_arg2(R_0145_0002__ARE_R_0145_0003__MADE_R_0145_0004__OF,R_0145_0006__SAPPHIRES)
      & has_arg1(R_0145_0002__ARE_R_0145_0003__MADE_R_0145_0004__OF,R_0145_0001__THEY) ) ).