60_a_seiko_9r65
For mechanical watches, the accuracy is influenced even by a difference in position or direction of a watch.
arc(r_0060_0003__watches, r_0060_0002__mechanical, attrib6).
arc(r_0060_0007__is, r_0060_0003__watches, r_0060_0001__For_nim5).
arc(r_0060_0007__is, r_0060_0008__influenced, scope).
arc(r_0060_0008__influenced, r_0060_0005__the_r_0060_0006__accuracy, arg1).
arc(r_0060_0008__influenced, r_0060_0011__a_r_0060_0012__difference, arg0).
arc(r_0060_0011__a_r_0060_0012__difference, r_0060_0015__or, r_0060_0013__in).
arc(r_0060_0015__or, r_0060_0014__position, conj1).
arc(r_0060_0015__or, r_0060_0016__direction, conj2).
arc(r_0060_0015__or, r_0060_0018__a_r_0060_0019__watch, r_0060_0017__of).
fof(formula,axiom,
? [R_0060_0002__MECHANICAL,R_0060_0003__WATCHES,R_0060_0005__THE_R_0060_0006__ACCURACY,R_0060_0014__POSITION,R_0060_0016__DIRECTION,R_0060_0018__A_R_0060_0019__WATCH,R_0060_0015__OR,R_0060_0011__A_R_0060_0012__DIFFERENCE,R_0060_0007__IS_R_0060_0008__INFLUENCED] :
( r_0060_0002__mechanical(R_0060_0002__MECHANICAL)
& r_0060_0005__the_r_0060_0006__accuracy(R_0060_0005__THE_R_0060_0006__ACCURACY)
& r_0060_0014__position(R_0060_0014__POSITION)
& r_0060_0016__direction(R_0060_0016__DIRECTION)
& r_0060_0018__a_r_0060_0019__watch(R_0060_0018__A_R_0060_0019__WATCH)
& r_0060_0007__is_r_0060_0008__influenced(R_0060_0007__IS_R_0060_0008__INFLUENCED)
& has_arg0(R_0060_0007__IS_R_0060_0008__INFLUENCED,R_0060_0011__A_R_0060_0012__DIFFERENCE)
& r_0060_0011__a_r_0060_0012__difference(R_0060_0011__A_R_0060_0012__DIFFERENCE)
& has_r_0060_0013__in(R_0060_0011__A_R_0060_0012__DIFFERENCE,R_0060_0015__OR)
& r_0060_0015__or(R_0060_0015__OR)
& has_r_0060_0017__of(R_0060_0015__OR,R_0060_0018__A_R_0060_0019__WATCH)
& has_conj2(R_0060_0015__OR,R_0060_0016__DIRECTION)
& has_conj1(R_0060_0015__OR,R_0060_0014__POSITION)
& has_arg1(R_0060_0007__IS_R_0060_0008__INFLUENCED,R_0060_0005__THE_R_0060_0006__ACCURACY)
& has_r_0060_0001__For_nim5(R_0060_0007__IS_R_0060_0008__INFLUENCED,R_0060_0003__WATCHES)
& r_0060_0003__watches(R_0060_0003__WATCHES)
& has_attrib6(R_0060_0003__WATCHES,R_0060_0002__MECHANICAL) ) ).
( (IP-MAT (PP-NIM (P-ROLE For;{for})
(NP (ADJP (ADJ mechanical;{mechanical}))
(NS watches;{watch})))
(PUNC ,)
(NP-SBJ (D the;{the})
(N accuracy;{accuracy}))
(BEP;_cat_VePASS_ is;{be})
(IP-PPL-CAT;{ACCURACY_INFLUENCE} (VVN;_Tn_ influenced;{influence})
(PP-LGS (ADV even;{even})
(P-ROLE;_lgs_ by;{by})
(NP (D a;{a})
(N difference;{difference})
(PP (P-ROLE in;{in})
(NP (NLYR (NLYR (N position;{position}))
(CONJP (CONJ or;{or})
(NLYR (N direction;{direction}))))
(PP (P-ROLE of;{of})
(NP (D a;{a})
(N watch;{watch}))))))))
(PUNC .))
(ID 60_a_seiko_9r65))