Context                Previous, Next                Top


23_a_seiko_9r65
In one word, this is a “mechanical watch having accuracy equivalent to a quartz watch.”

%3 r_0023_0006__is is r_0023_0002__one_r_0023_0003__word one word r_0023_0006__is->r_0023_0002__one_r_0023_0003__word In [nim] r_0023_0005__this this r_0023_0006__is->r_0023_0005__this [arg0] r_0023_0007__a_r_0023_0010__watch a watch r_0023_0006__is->r_0023_0007__a_r_0023_0010__watch [prd] r_0023_0009__mechanical mechanical r_0023_0007__a_r_0023_0010__watch->r_0023_0009__mechanical [attrib] r_0023_0011__having having r_0023_0011__having->r_0023_0007__a_r_0023_0010__watch [arg0] r_0023_0012__accuracy accuracy r_0023_0011__having->r_0023_0012__accuracy [arg1] r_0023_0013__equivalent equivalent r_0023_0012__accuracy->r_0023_0013__equivalent [attrib] r_0023_0015__a_r_0023_0016__quartz_r_0023_0017__watch a quartz watch r_0023_0013__equivalent->r_0023_0015__a_r_0023_0016__quartz_r_0023_0017__watch to 
arc(r_0023_0006__is, r_0023_0002__one_r_0023_0003__word, r_0023_0001__In_nim5).
arc(r_0023_0006__is, r_0023_0005__this, arg0).
arc(r_0023_0006__is, r_0023_0007__a_r_0023_0010__watch, prd).
arc(r_0023_0007__a_r_0023_0010__watch, r_0023_0009__mechanical, attrib22).
arc(r_0023_0011__having, r_0023_0007__a_r_0023_0010__watch, arg0).
arc(r_0023_0011__having, r_0023_0012__accuracy, arg1).
arc(r_0023_0012__accuracy, r_0023_0013__equivalent, attrib33).
arc(r_0023_0013__equivalent, r_0023_0015__a_r_0023_0016__quartz_r_0023_0017__watch, r_0023_0014__to).


%3 r_0023_0006__is is r_0023_0002__one_r_0023_0003__word one word r_0023_0006__is->r_0023_0002__one_r_0023_0003__word In [nim] r_0023_0005__this this r_0023_0006__is->r_0023_0005__this [arg0] r_0023_0007__a_r_0023_0010__watch a watch r_0023_0006__is->r_0023_0007__a_r_0023_0010__watch [prd] r_0023_0009__mechanical mechanical r_0023_0007__a_r_0023_0010__watch->r_0023_0009__mechanical [attrib] r_0023_0011__having having r_0023_0011__having->r_0023_0007__a_r_0023_0010__watch [arg0] r_0023_0012__accuracy accuracy r_0023_0011__having->r_0023_0012__accuracy [arg1] r_0023_0013__equivalent equivalent r_0023_0012__accuracy->r_0023_0013__equivalent [attrib] r_0023_0015__a_r_0023_0016__quartz_r_0023_0017__watch a quartz watch r_0023_0013__equivalent->r_0023_0015__a_r_0023_0016__quartz_r_0023_0017__watch to 
fof(formula,axiom,
    ? [R_23_6_IS,R_23_5_THIS,R_23_2_ONE_WORD,R_23_11_HAVING,R_23_7_A_WATCH,R_23_9_MECHANICAL,R_23_12_ACCURACY,R_23_13_EQUIVALENT,R_23_15_A_QUARTZ_WATCH] :
      ( this(R_23_5_THIS)
      & one_word(R_23_2_ONE_WORD)
      & mechanical(R_23_9_MECHANICAL)
      & a_quartz_watch(R_23_15_A_QUARTZ_WATCH)
      & is(R_23_6_IS,R_23_5_THIS,R_23_7_A_WATCH)
      & a_watch(R_23_7_A_WATCH)
      & attrib22(R_23_7_A_WATCH,R_23_9_MECHANICAL)
      & in_nim5(R_23_6_IS,R_23_2_ONE_WORD)
      & having(R_23_11_HAVING,R_23_7_A_WATCH,R_23_12_ACCURACY)
      & accuracy(R_23_12_ACCURACY)
      & attrib33(R_23_12_ACCURACY,R_23_13_EQUIVALENT)
      & equivalent(R_23_13_EQUIVALENT)
      & to(R_23_13_EQUIVALENT,R_23_15_A_QUARTZ_WATCH) ) ).


n23_a_seiko_9r65 n23_a_seiko_9r65_4 In n23_a_seiko_9r65_7 one n23_a_seiko_9r65_9 word n23_a_seiko_9r65_11 , n23_a_seiko_9r65_14 this n23_a_seiko_9r65_16 is n23_a_seiko_9r65_19 a n23_a_seiko_9r65_21 <ldquo> n23_a_seiko_9r65_24 mechanical n23_a_seiko_9r65_26 watch n23_a_seiko_9r65_29 having n23_a_seiko_9r65_32 accuracy n23_a_seiko_9r65_35 equivalent n23_a_seiko_9r65_38 to n23_a_seiko_9r65_41 a n23_a_seiko_9r65_43 quartz n23_a_seiko_9r65_45 watch n23_a_seiko_9r65_47 . n23_a_seiko_9r65_49 <rdquo> n23_a_seiko_9r65_1 IP-MAT n23_a_seiko_9r65_2 PP-NIM n23_a_seiko_9r65_1->n23_a_seiko_9r65_2 n23_a_seiko_9r65_10 PUNC n23_a_seiko_9r65_1->n23_a_seiko_9r65_10 n23_a_seiko_9r65_12 NP-SBJ n23_a_seiko_9r65_1->n23_a_seiko_9r65_12 n23_a_seiko_9r65_15 BEP;_Ln_ n23_a_seiko_9r65_1->n23_a_seiko_9r65_15 n23_a_seiko_9r65_17 NP-PRD n23_a_seiko_9r65_1->n23_a_seiko_9r65_17 n23_a_seiko_9r65_46 PUNC n23_a_seiko_9r65_1->n23_a_seiko_9r65_46 n23_a_seiko_9r65_48 PURQ n23_a_seiko_9r65_1->n23_a_seiko_9r65_48 n23_a_seiko_9r65_3 P-ROLE n23_a_seiko_9r65_2->n23_a_seiko_9r65_3 n23_a_seiko_9r65_5 NP n23_a_seiko_9r65_2->n23_a_seiko_9r65_5 n23_a_seiko_9r65_3->n23_a_seiko_9r65_4 n23_a_seiko_9r65_6 NUM n23_a_seiko_9r65_5->n23_a_seiko_9r65_6 n23_a_seiko_9r65_8 N n23_a_seiko_9r65_5->n23_a_seiko_9r65_8 n23_a_seiko_9r65_6->n23_a_seiko_9r65_7 n23_a_seiko_9r65_8->n23_a_seiko_9r65_9 n23_a_seiko_9r65_10->n23_a_seiko_9r65_11 n23_a_seiko_9r65_13 D;_nphd_ n23_a_seiko_9r65_12->n23_a_seiko_9r65_13 n23_a_seiko_9r65_13->n23_a_seiko_9r65_14 n23_a_seiko_9r65_15->n23_a_seiko_9r65_16 n23_a_seiko_9r65_18 D n23_a_seiko_9r65_17->n23_a_seiko_9r65_18 n23_a_seiko_9r65_20 PULQ n23_a_seiko_9r65_17->n23_a_seiko_9r65_20 n23_a_seiko_9r65_22 ADJP n23_a_seiko_9r65_17->n23_a_seiko_9r65_22 n23_a_seiko_9r65_25 N n23_a_seiko_9r65_17->n23_a_seiko_9r65_25 n23_a_seiko_9r65_27 IP-PPL n23_a_seiko_9r65_17->n23_a_seiko_9r65_27 n23_a_seiko_9r65_18->n23_a_seiko_9r65_19 n23_a_seiko_9r65_20->n23_a_seiko_9r65_21 n23_a_seiko_9r65_23 ADJ n23_a_seiko_9r65_22->n23_a_seiko_9r65_23 n23_a_seiko_9r65_23->n23_a_seiko_9r65_24 n23_a_seiko_9r65_25->n23_a_seiko_9r65_26 n23_a_seiko_9r65_28 HAG;_Tn_ n23_a_seiko_9r65_27->n23_a_seiko_9r65_28 n23_a_seiko_9r65_30 NP-OB1 n23_a_seiko_9r65_27->n23_a_seiko_9r65_30 n23_a_seiko_9r65_28->n23_a_seiko_9r65_29 n23_a_seiko_9r65_31 N n23_a_seiko_9r65_30->n23_a_seiko_9r65_31 n23_a_seiko_9r65_33 ADJP n23_a_seiko_9r65_30->n23_a_seiko_9r65_33 n23_a_seiko_9r65_31->n23_a_seiko_9r65_32 n23_a_seiko_9r65_34 ADJ n23_a_seiko_9r65_33->n23_a_seiko_9r65_34 n23_a_seiko_9r65_36 PP n23_a_seiko_9r65_33->n23_a_seiko_9r65_36 n23_a_seiko_9r65_34->n23_a_seiko_9r65_35 n23_a_seiko_9r65_37 P-ROLE n23_a_seiko_9r65_36->n23_a_seiko_9r65_37 n23_a_seiko_9r65_39 NP n23_a_seiko_9r65_36->n23_a_seiko_9r65_39 n23_a_seiko_9r65_37->n23_a_seiko_9r65_38 n23_a_seiko_9r65_40 D n23_a_seiko_9r65_39->n23_a_seiko_9r65_40 n23_a_seiko_9r65_42 N n23_a_seiko_9r65_39->n23_a_seiko_9r65_42 n23_a_seiko_9r65_44 N n23_a_seiko_9r65_39->n23_a_seiko_9r65_44 n23_a_seiko_9r65_40->n23_a_seiko_9r65_41 n23_a_seiko_9r65_42->n23_a_seiko_9r65_43 n23_a_seiko_9r65_44->n23_a_seiko_9r65_45 n23_a_seiko_9r65_46->n23_a_seiko_9r65_47 n23_a_seiko_9r65_48->n23_a_seiko_9r65_49 
( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (NUM one;{one})
                      (N word;{word})))
          (PUNC ,)
          (NP-SBJ;{SPRING_DRIVE} (D;_nphd_ this;{this}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D a;{a})
                  (PULQ <ldquo>)
                  (ADJP (ADJ mechanical;{mechanical}))
                  (N watch;{watch})
                  (IP-PPL (HAG;_Tn_ having;{have})
                          (NP-OB1 (N accuracy;{accuracy})
                                  (ADJP (ADJ equivalent;{equivalent})
                                        (PP (P-ROLE to;{to})
                                            (NP (D a;{a})
                                                (N quartz;{quartz})
                                                (N watch;{watch})))))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 23_a_seiko_9r65))