20_a_seiko_9r65
It is characterized by accuracy using state-of-the-art technology.
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).
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) ) ).
( (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))