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.

arc(r_0145_0002__are, r_0145_0003__made, scope).
arc(r_0145_0003__made, r_0145_0001__They, arg1).
arc(r_0145_0003__made, r_0145_0006__sapphires, r_0145_0004__of_clr15).
arc(r_0145_0003__made, z_000_145_a_wilde_1_1888_8, arg0).
arc(r_0145_0006__sapphires, r_0145_0005__rare, attrib16).
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_nim37).
arc(r_0145_0010__brought, r_0145_0016__ago, nim40).
arc(r_0145_0010__brought, z_000_145_a_wilde_1_1888_30, arg0).
arc(r_0145_0016__ago, r_0145_0013__a_r_0145_0014__thousand_r_0145_0015__years, nim41).

fof(formula,axiom,
    ? [R_0145_0001__THEY,R_0145_0005__RARE,R_0145_0006__SAPPHIRES,Z_000_145_A_WILDE_1_1888_8,R_0145_0002__ARE_R_0145_0003__MADE,R_0145_0012__INDIA,R_0145_0013__A_R_0145_0014__THOUSAND_R_0145_0015__YEARS,R_0145_0016__AGO,Z_000_145_A_WILDE_1_1888_30,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_000_145_a_wilde_1_1888_30(Z_000_145_A_WILDE_1_1888_30)
      & z_000_145_a_wilde_1_1888_8(Z_000_145_A_WILDE_1_1888_8)
      & 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_000_145_A_WILDE_1_1888_30)
      & has_nim40(R_0145_0009__WERE_R_0145_0010__BROUGHT,R_0145_0016__AGO)
      & r_0145_0016__ago(R_0145_0016__AGO)
      & has_nim41(R_0145_0016__AGO,R_0145_0013__A_R_0145_0014__THOUSAND_R_0145_0015__YEARS)
      & has_r_0145_0011__out_of_nim37(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_attrib16(R_0145_0006__SAPPHIRES,R_0145_0005__RARE)
      & r_0145_0002__are_r_0145_0003__made(R_0145_0002__ARE_R_0145_0003__MADE)
      & has_arg0(R_0145_0002__ARE_R_0145_0003__MADE,Z_000_145_A_WILDE_1_1888_8)
      & has_r_0145_0004__of_clr15(R_0145_0002__ARE_R_0145_0003__MADE,R_0145_0006__SAPPHIRES)
      & has_arg1(R_0145_0002__ARE_R_0145_0003__MADE,R_0145_0001__THEY) ) ).

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