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 r_0020_0002__is_r_0020_0003__characterized is characterized r_0020_0001__It It 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_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_r_0020_0003__characterized [conj2] z_000_20_a_seiko_9r65_16->r_0020_0006__using [conj1]
fof(formula,axiom,
    ? [Z_20_A_SEIKO_9R65_16,R_20_6_USING,R_20_8_TECHNOLOGY,R_20_7_STATE_HYPHEN_OF_HYPHEN_THE_HYPHEN_ART,R_20_2_IS_CHARACTERIZED,R_20_5_ACCURACY,R_20_1_IT] :
      ( state_hyphen_of_hyphen_the_hyphen_art(R_20_7_STATE_HYPHEN_OF_HYPHEN_THE_HYPHEN_ART)
      & accuracy(R_20_5_ACCURACY)
      & it(R_20_1_IT)
      & z_20_a_seiko_9r65_16(Z_20_A_SEIKO_9R65_16)
      & conj1(Z_20_A_SEIKO_9R65_16,R_20_6_USING)
      & using(R_20_6_USING,R_20_1_IT,R_20_8_TECHNOLOGY)
      & technology(R_20_8_TECHNOLOGY)
      & attrib21(R_20_8_TECHNOLOGY,R_20_7_STATE_HYPHEN_OF_HYPHEN_THE_HYPHEN_ART)
      & conj2(Z_20_A_SEIKO_9R65_16,R_20_2_IS_CHARACTERIZED)
      & is_characterized(R_20_2_IS_CHARACTERIZED,R_20_5_ACCURACY,R_20_1_IT) ) ).



n20_a_seiko_9r65 n20_a_seiko_9r65_4 It n20_a_seiko_9r65_6 is n20_a_seiko_9r65_9 characterized n20_a_seiko_9r65_12 by n20_a_seiko_9r65_15 accuracy n20_a_seiko_9r65_19 using n20_a_seiko_9r65_23 state-of-the-art n20_a_seiko_9r65_25 technology n20_a_seiko_9r65_27 . n20_a_seiko_9r65_1 IP-MAT n20_a_seiko_9r65_2 NP-SBJ n20_a_seiko_9r65_1->n20_a_seiko_9r65_2 n20_a_seiko_9r65_5 BEP;_cat_VePASS_ n20_a_seiko_9r65_1->n20_a_seiko_9r65_5 n20_a_seiko_9r65_7 IP-PPL-CAT n20_a_seiko_9r65_1->n20_a_seiko_9r65_7 n20_a_seiko_9r65_16 PP-SCON n20_a_seiko_9r65_1->n20_a_seiko_9r65_16 n20_a_seiko_9r65_26 PUNC n20_a_seiko_9r65_1->n20_a_seiko_9r65_26 n20_a_seiko_9r65_3 PRO n20_a_seiko_9r65_2->n20_a_seiko_9r65_3 n20_a_seiko_9r65_3->n20_a_seiko_9r65_4 n20_a_seiko_9r65_5->n20_a_seiko_9r65_6 n20_a_seiko_9r65_8 VVN;_Tn_ n20_a_seiko_9r65_7->n20_a_seiko_9r65_8 n20_a_seiko_9r65_10 PP-LGS n20_a_seiko_9r65_7->n20_a_seiko_9r65_10 n20_a_seiko_9r65_8->n20_a_seiko_9r65_9 n20_a_seiko_9r65_11 P-ROLE;_lgs_ n20_a_seiko_9r65_10->n20_a_seiko_9r65_11 n20_a_seiko_9r65_13 NP n20_a_seiko_9r65_10->n20_a_seiko_9r65_13 n20_a_seiko_9r65_11->n20_a_seiko_9r65_12 n20_a_seiko_9r65_14 N n20_a_seiko_9r65_13->n20_a_seiko_9r65_14 n20_a_seiko_9r65_14->n20_a_seiko_9r65_15 n20_a_seiko_9r65_17 IP-PPL n20_a_seiko_9r65_16->n20_a_seiko_9r65_17 n20_a_seiko_9r65_18 VAG;_Tn_ n20_a_seiko_9r65_17->n20_a_seiko_9r65_18 n20_a_seiko_9r65_20 NP-OB1 n20_a_seiko_9r65_17->n20_a_seiko_9r65_20 n20_a_seiko_9r65_18->n20_a_seiko_9r65_19 n20_a_seiko_9r65_21 ADJP n20_a_seiko_9r65_20->n20_a_seiko_9r65_21 n20_a_seiko_9r65_24 N n20_a_seiko_9r65_20->n20_a_seiko_9r65_24 n20_a_seiko_9r65_22 ADJ n20_a_seiko_9r65_21->n20_a_seiko_9r65_22 n20_a_seiko_9r65_22->n20_a_seiko_9r65_23 n20_a_seiko_9r65_24->n20_a_seiko_9r65_25 n20_a_seiko_9r65_26->n20_a_seiko_9r65_27
( (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))