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,
? [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) ) ).
( (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))