20_a_seiko_9r65
It is characterized by accuracy using state-of-the-art technology.

%3 r_0020_0002__is is r_0020_0003__characterized characterized r_0020_0002__is->r_0020_0003__characterized [scope] r_0020_0001__It It r_0020_0003__characterized->r_0020_0001__It [arg1] r_0020_0005__accuracy accuracy r_0020_0003__characterized->r_0020_0005__accuracy [arg0] r_0020_0006__using using r_0020_0006__using->r_0020_0001__It [arg0] r_0020_0008__technology technology r_0020_0006__using->r_0020_0008__technology [arg1] r_0020_0007__state__hyphen__of__hyphen__the__hyphen__art state-of-the-art r_0020_0008__technology->r_0020_0007__state__hyphen__of__hyphen__the__hyphen__art [attrib] z_000_20_a_seiko_9r65_16 z_000_20_a_seiko_9r65_16->r_0020_0002__is [scope] z_000_20_a_seiko_9r65_16->r_0020_0006__using [restriction]
arc(r_0020_0002__is, r_0020_0003__characterized, scope).
arc(r_0020_0003__characterized, r_0020_0001__It, arg1).
arc(r_0020_0003__characterized, r_0020_0005__accuracy, arg0).
arc(r_0020_0006__using, r_0020_0001__It, arg0).
arc(r_0020_0006__using, r_0020_0008__technology, arg1).
arc(r_0020_0008__technology, r_0020_0007__state__hyphen__of__hyphen__the__hyphen__art, attrib21).
arc(z_000_20_a_seiko_9r65_16, r_0020_0002__is, scope).
arc(z_000_20_a_seiko_9r65_16, r_0020_0006__using, restriction).



%3 z_000_20_a_seiko_9r65_16 r_0020_0006__using using z_000_20_a_seiko_9r65_16->r_0020_0006__using [conj1] r_0020_0002__is_r_0020_0003__characterized is characterized z_000_20_a_seiko_9r65_16->r_0020_0002__is_r_0020_0003__characterized [conj2] r_0020_0008__technology technology r_0020_0006__using->r_0020_0008__technology [arg1] r_0020_0001__It It r_0020_0006__using->r_0020_0001__It [arg0] r_0020_0002__is_r_0020_0003__characterized->r_0020_0001__It [arg1] r_0020_0005__accuracy accuracy r_0020_0002__is_r_0020_0003__characterized->r_0020_0005__accuracy [arg0] r_0020_0007__state__hyphen__of__hyphen__the__hyphen__art state-of-the-art r_0020_0008__technology->r_0020_0007__state__hyphen__of__hyphen__the__hyphen__art [attrib]
fof(formula,axiom,
    ? [R_0020_0001__IT,R_0020_0005__ACCURACY,R_0020_0002__IS_R_0020_0003__CHARACTERIZED,R_0020_0007__STATE__HYPHEN__OF__HYPHEN__THE__HYPHEN__ART,R_0020_0008__TECHNOLOGY,R_0020_0006__USING,Z_000_20_A_SEIKO_9R65_16] :
      ( r_0020_0001__It(R_0020_0001__IT)
      & r_0020_0005__accuracy(R_0020_0005__ACCURACY)
      & r_0020_0007__state__hyphen__of__hyphen__the__hyphen__art(R_0020_0007__STATE__HYPHEN__OF__HYPHEN__THE__HYPHEN__ART)
      & z_000_20_a_seiko_9r65_16(Z_000_20_A_SEIKO_9R65_16)
      & has_conj1(Z_000_20_A_SEIKO_9R65_16,R_0020_0006__USING)
      & r_0020_0006__using(R_0020_0006__USING)
      & has_arg1(R_0020_0006__USING,R_0020_0008__TECHNOLOGY)
      & r_0020_0008__technology(R_0020_0008__TECHNOLOGY)
      & has_attrib21(R_0020_0008__TECHNOLOGY,R_0020_0007__STATE__HYPHEN__OF__HYPHEN__THE__HYPHEN__ART)
      & has_arg0(R_0020_0006__USING,R_0020_0001__IT)
      & has_conj2(Z_000_20_A_SEIKO_9R65_16,R_0020_0002__IS_R_0020_0003__CHARACTERIZED)
      & r_0020_0002__is_r_0020_0003__characterized(R_0020_0002__IS_R_0020_0003__CHARACTERIZED)
      & has_arg0(R_0020_0002__IS_R_0020_0003__CHARACTERIZED,R_0020_0005__ACCURACY)
      & has_arg1(R_0020_0002__IS_R_0020_0003__CHARACTERIZED,R_0020_0001__IT) ) ).



n20_a_seiko_9r65 n20_a_seiko_9r65__1_1_1_1 It n20_a_seiko_9r65__1_2_1 is n20_a_seiko_9r65__1_3_1_1 characterized n20_a_seiko_9r65__1_3_2_1_1 by n20_a_seiko_9r65__1_3_2_2_1_1 accuracy n20_a_seiko_9r65__1_4_1_1_1 using n20_a_seiko_9r65__1_4_1_2_1_1_1 state-of-the-art n20_a_seiko_9r65__1_4_1_2_2_1 technology n20_a_seiko_9r65__1_5_1 . n20_a_seiko_9r65__1 IP-MAT n20_a_seiko_9r65__1_1 NP-SBJ n20_a_seiko_9r65__1->n20_a_seiko_9r65__1_1 n20_a_seiko_9r65__1_2 BEP;_cat_VePASS_ n20_a_seiko_9r65__1->n20_a_seiko_9r65__1_2 n20_a_seiko_9r65__1_3 IP-PPL-CAT n20_a_seiko_9r65__1->n20_a_seiko_9r65__1_3 n20_a_seiko_9r65__1_4 PP-SCON n20_a_seiko_9r65__1->n20_a_seiko_9r65__1_4 n20_a_seiko_9r65__1_5 PUNC n20_a_seiko_9r65__1->n20_a_seiko_9r65__1_5 n20_a_seiko_9r65__1_1_1 PRO n20_a_seiko_9r65__1_1->n20_a_seiko_9r65__1_1_1 n20_a_seiko_9r65__1_1_1->n20_a_seiko_9r65__1_1_1_1 n20_a_seiko_9r65__1_2->n20_a_seiko_9r65__1_2_1 n20_a_seiko_9r65__1_3_1 VVN;_Tn_ n20_a_seiko_9r65__1_3->n20_a_seiko_9r65__1_3_1 n20_a_seiko_9r65__1_3_2 PP-LGS n20_a_seiko_9r65__1_3->n20_a_seiko_9r65__1_3_2 n20_a_seiko_9r65__1_3_1->n20_a_seiko_9r65__1_3_1_1 n20_a_seiko_9r65__1_3_2_1 P-ROLE;_lgs_ n20_a_seiko_9r65__1_3_2->n20_a_seiko_9r65__1_3_2_1 n20_a_seiko_9r65__1_3_2_2 NP n20_a_seiko_9r65__1_3_2->n20_a_seiko_9r65__1_3_2_2 n20_a_seiko_9r65__1_3_2_1->n20_a_seiko_9r65__1_3_2_1_1 n20_a_seiko_9r65__1_3_2_2_1 N n20_a_seiko_9r65__1_3_2_2->n20_a_seiko_9r65__1_3_2_2_1 n20_a_seiko_9r65__1_3_2_2_1->n20_a_seiko_9r65__1_3_2_2_1_1 n20_a_seiko_9r65__1_4_1 IP-PPL n20_a_seiko_9r65__1_4->n20_a_seiko_9r65__1_4_1 n20_a_seiko_9r65__1_4_1_1 VAG;_Tn_ n20_a_seiko_9r65__1_4_1->n20_a_seiko_9r65__1_4_1_1 n20_a_seiko_9r65__1_4_1_2 NP-OB1 n20_a_seiko_9r65__1_4_1->n20_a_seiko_9r65__1_4_1_2 n20_a_seiko_9r65__1_4_1_1->n20_a_seiko_9r65__1_4_1_1_1 n20_a_seiko_9r65__1_4_1_2_1 ADJP n20_a_seiko_9r65__1_4_1_2->n20_a_seiko_9r65__1_4_1_2_1 n20_a_seiko_9r65__1_4_1_2_2 N n20_a_seiko_9r65__1_4_1_2->n20_a_seiko_9r65__1_4_1_2_2 n20_a_seiko_9r65__1_4_1_2_1_1 ADJ n20_a_seiko_9r65__1_4_1_2_1->n20_a_seiko_9r65__1_4_1_2_1_1 n20_a_seiko_9r65__1_4_1_2_1_1->n20_a_seiko_9r65__1_4_1_2_1_1_1 n20_a_seiko_9r65__1_4_1_2_2->n20_a_seiko_9r65__1_4_1_2_2_1 n20_a_seiko_9r65__1_5->n20_a_seiko_9r65__1_5_1
( (IP-MAT (NP-SBJ;{QUARTZ_WATCHES} (PRO It;{it}))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (VVN;_Tn_ characterized;{characterize})
                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                              (NP (N accuracy;{accuracy}))))
          (PP-SCON (IP-PPL (VAG;_Tn_ using;{use})
                           (NP-OB1 (ADJP (ADJ state_<hyphen>_of_<hyphen>_the_<hyphen>_art;{state_of_the_art}))
                                   (N technology;{technology}))))
          (PUNC .))
  (ID 20_a_seiko_9r65))