Context                Previous, Next                Top


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

%3 r_0145_0002__are are r_0145_0003__made made r_0145_0002__are->r_0145_0003__made [scope] r_0145_0001__They They r_0145_0003__made->r_0145_0001__They [arg1] r_0145_0006__sapphires sapphires r_0145_0003__made->r_0145_0006__sapphires of [clr] z_000_145_a_wilde_1_1888_8 r_0145_0003__made->z_000_145_a_wilde_1_1888_8 [arg0] r_0145_0005__rare rare r_0145_0006__sapphires->r_0145_0005__rare [attrib] r_0145_0009__were were r_0145_0010__brought brought r_0145_0009__were->r_0145_0010__brought [scope] r_0145_0010__brought->r_0145_0006__sapphires [arg1] r_0145_0012__India India r_0145_0010__brought->r_0145_0012__India out of [nim] r_0145_0016__ago ago r_0145_0010__brought->r_0145_0016__ago [nim] z_000_145_a_wilde_1_1888_30 r_0145_0010__brought->z_000_145_a_wilde_1_1888_30 [arg0] r_0145_0013__a_r_0145_0014__thousand_r_0145_0015__years a thousand years r_0145_0016__ago->r_0145_0013__a_r_0145_0014__thousand_r_0145_0015__years [nim] 
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).


%3 r_0145_0002__are_r_0145_0003__made are made r_0145_0001__They They r_0145_0002__are_r_0145_0003__made->r_0145_0001__They [arg1] r_0145_0006__sapphires sapphires r_0145_0002__are_r_0145_0003__made->r_0145_0006__sapphires of [clr] z_000_145_a_wilde_1_1888_8 r_0145_0002__are_r_0145_0003__made->z_000_145_a_wilde_1_1888_8 [arg0] r_0145_0005__rare rare r_0145_0006__sapphires->r_0145_0005__rare [attrib] r_0145_0009__were_r_0145_0010__brought were brought r_0145_0009__were_r_0145_0010__brought->r_0145_0006__sapphires [arg1] r_0145_0012__India India r_0145_0009__were_r_0145_0010__brought->r_0145_0012__India out of [nim] r_0145_0016__ago ago r_0145_0009__were_r_0145_0010__brought->r_0145_0016__ago [nim] z_000_145_a_wilde_1_1888_30 r_0145_0009__were_r_0145_0010__brought->z_000_145_a_wilde_1_1888_30 [arg0] r_0145_0013__a_r_0145_0014__thousand_r_0145_0015__years a thousand years r_0145_0016__ago->r_0145_0013__a_r_0145_0014__thousand_r_0145_0015__years [nim] 
fof(formula,axiom,
    ? [R_145_2_ARE_MADE,Z_145_A_WILDE_1_1888_8,R_145_1_THEY,R_145_9_WERE_BROUGHT,Z_145_A_WILDE_1_1888_30,R_145_6_SAPPHIRES,R_145_5_RARE,R_145_16_AGO,R_145_13_A_THOUSAND_YEARS,R_145_12_INDIA] :
      ( they(R_145_1_THEY)
      & rare(R_145_5_RARE)
      & a_thousand_years(R_145_13_A_THOUSAND_YEARS)
      & india(R_145_12_INDIA)
      & are_made(R_145_2_ARE_MADE,Z_145_A_WILDE_1_1888_8,R_145_1_THEY)
      & of_clr15(R_145_2_ARE_MADE,R_145_6_SAPPHIRES)
      & sapphires(R_145_6_SAPPHIRES)
      & attrib16(R_145_6_SAPPHIRES,R_145_5_RARE)
      & were_brought(R_145_9_WERE_BROUGHT,Z_145_A_WILDE_1_1888_30,R_145_6_SAPPHIRES)
      & nim40(R_145_9_WERE_BROUGHT,R_145_16_AGO)
      & ago(R_145_16_AGO)
      & nim41(R_145_16_AGO,R_145_13_A_THOUSAND_YEARS)
      & out_of_nim37(R_145_9_WERE_BROUGHT,R_145_12_INDIA) ) ).


n145_a_wilde_1_1888 n145_a_wilde_1_1888_4 They n145_a_wilde_1_1888_6 are n145_a_wilde_1_1888_9 * n145_a_wilde_1_1888_11 made n145_a_wilde_1_1888_14 of n145_a_wilde_1_1888_18 rare n145_a_wilde_1_1888_20 sapphires n145_a_wilde_1_1888_22 , n145_a_wilde_1_1888_26 which n145_a_wilde_1_1888_28 were n145_a_wilde_1_1888_31 * n145_a_wilde_1_1888_33 brought n145_a_wilde_1_1888_36 out_of n145_a_wilde_1_1888_39 India n145_a_wilde_1_1888_43 a n145_a_wilde_1_1888_45 thousand n145_a_wilde_1_1888_47 years n145_a_wilde_1_1888_49 ago n145_a_wilde_1_1888_51 . n145_a_wilde_1_1888_1 IP-MAT n145_a_wilde_1_1888_2 NP-SBJ n145_a_wilde_1_1888_1->n145_a_wilde_1_1888_2 n145_a_wilde_1_1888_5 BEP;_cat_VePASS_ n145_a_wilde_1_1888_1->n145_a_wilde_1_1888_5 n145_a_wilde_1_1888_7 IP-PPL-CAT n145_a_wilde_1_1888_1->n145_a_wilde_1_1888_7 n145_a_wilde_1_1888_50 PUNC n145_a_wilde_1_1888_1->n145_a_wilde_1_1888_50 n145_a_wilde_1_1888_3 PRO n145_a_wilde_1_1888_2->n145_a_wilde_1_1888_3 n145_a_wilde_1_1888_3->n145_a_wilde_1_1888_4 n145_a_wilde_1_1888_5->n145_a_wilde_1_1888_6 n145_a_wilde_1_1888_8 NP-LGS n145_a_wilde_1_1888_7->n145_a_wilde_1_1888_8 n145_a_wilde_1_1888_10 VVN;_Tn.pr_ n145_a_wilde_1_1888_7->n145_a_wilde_1_1888_10 n145_a_wilde_1_1888_12 PP-CLR n145_a_wilde_1_1888_7->n145_a_wilde_1_1888_12 n145_a_wilde_1_1888_8->n145_a_wilde_1_1888_9 n145_a_wilde_1_1888_10->n145_a_wilde_1_1888_11 n145_a_wilde_1_1888_13 P-ROLE n145_a_wilde_1_1888_12->n145_a_wilde_1_1888_13 n145_a_wilde_1_1888_15 NP n145_a_wilde_1_1888_12->n145_a_wilde_1_1888_15 n145_a_wilde_1_1888_13->n145_a_wilde_1_1888_14 n145_a_wilde_1_1888_16 ADJP n145_a_wilde_1_1888_15->n145_a_wilde_1_1888_16 n145_a_wilde_1_1888_19 NS n145_a_wilde_1_1888_15->n145_a_wilde_1_1888_19 n145_a_wilde_1_1888_21 PUNC n145_a_wilde_1_1888_15->n145_a_wilde_1_1888_21 n145_a_wilde_1_1888_23 IP-REL n145_a_wilde_1_1888_15->n145_a_wilde_1_1888_23 n145_a_wilde_1_1888_17 ADJ n145_a_wilde_1_1888_16->n145_a_wilde_1_1888_17 n145_a_wilde_1_1888_17->n145_a_wilde_1_1888_18 n145_a_wilde_1_1888_19->n145_a_wilde_1_1888_20 n145_a_wilde_1_1888_21->n145_a_wilde_1_1888_22 n145_a_wilde_1_1888_24 NP-SBJ n145_a_wilde_1_1888_23->n145_a_wilde_1_1888_24 n145_a_wilde_1_1888_27 BED;_cat_VePASS_ n145_a_wilde_1_1888_23->n145_a_wilde_1_1888_27 n145_a_wilde_1_1888_29 IP-PPL-CAT n145_a_wilde_1_1888_23->n145_a_wilde_1_1888_29 n145_a_wilde_1_1888_25 RPRO n145_a_wilde_1_1888_24->n145_a_wilde_1_1888_25 n145_a_wilde_1_1888_25->n145_a_wilde_1_1888_26 n145_a_wilde_1_1888_27->n145_a_wilde_1_1888_28 n145_a_wilde_1_1888_30 NP-LGS n145_a_wilde_1_1888_29->n145_a_wilde_1_1888_30 n145_a_wilde_1_1888_32 VVN;_Tn_ n145_a_wilde_1_1888_29->n145_a_wilde_1_1888_32 n145_a_wilde_1_1888_34 PP-NIM n145_a_wilde_1_1888_29->n145_a_wilde_1_1888_34 n145_a_wilde_1_1888_40 ADVP-NIM n145_a_wilde_1_1888_29->n145_a_wilde_1_1888_40 n145_a_wilde_1_1888_30->n145_a_wilde_1_1888_31 n145_a_wilde_1_1888_32->n145_a_wilde_1_1888_33 n145_a_wilde_1_1888_35 P-ROLE n145_a_wilde_1_1888_34->n145_a_wilde_1_1888_35 n145_a_wilde_1_1888_37 NP n145_a_wilde_1_1888_34->n145_a_wilde_1_1888_37 n145_a_wilde_1_1888_35->n145_a_wilde_1_1888_36 n145_a_wilde_1_1888_38 NPR n145_a_wilde_1_1888_37->n145_a_wilde_1_1888_38 n145_a_wilde_1_1888_38->n145_a_wilde_1_1888_39 n145_a_wilde_1_1888_41 NP n145_a_wilde_1_1888_40->n145_a_wilde_1_1888_41 n145_a_wilde_1_1888_48 ADV n145_a_wilde_1_1888_40->n145_a_wilde_1_1888_48 n145_a_wilde_1_1888_42 D n145_a_wilde_1_1888_41->n145_a_wilde_1_1888_42 n145_a_wilde_1_1888_44 NUM n145_a_wilde_1_1888_41->n145_a_wilde_1_1888_44 n145_a_wilde_1_1888_46 NS n145_a_wilde_1_1888_41->n145_a_wilde_1_1888_46 n145_a_wilde_1_1888_42->n145_a_wilde_1_1888_43 n145_a_wilde_1_1888_44->n145_a_wilde_1_1888_45 n145_a_wilde_1_1888_46->n145_a_wilde_1_1888_47 n145_a_wilde_1_1888_48->n145_a_wilde_1_1888_49 n145_a_wilde_1_1888_50->n145_a_wilde_1_1888_51 
( (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))