20_a_seiko_9r65
It is characterized by accuracy using state-of-the-art technology.
( (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))
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,r_0020_0004__by_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,attrib).
arc(z_0020_5001,r_0020_0002__is,scope).
arc(z_0020_5001,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_0020_5001] :
( 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_0020_5001(Z_0020_5001)
& has_conj1(Z_0020_5001,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_attrib(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_0020_5001,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_r_0020_0004__by_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) ) ).