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_60_7_IS_INFLUENCED,R_60_11_A_DIFFERENCE,R_60_15_OR,R_60_14_POSITION,R_60_16_DIRECTION,R_60_18_A_WATCH,R_60_5_THE_ACCURACY,R_60_3_WATCHES,R_60_2_MECHANICAL] :
( position(R_60_14_POSITION)
& direction(R_60_16_DIRECTION)
& a_watch(R_60_18_A_WATCH)
& the_accuracy(R_60_5_THE_ACCURACY)
& mechanical(R_60_2_MECHANICAL)
& is_influenced(R_60_7_IS_INFLUENCED,R_60_11_A_DIFFERENCE,R_60_5_THE_ACCURACY)
& a_difference(R_60_11_A_DIFFERENCE)
& in(R_60_11_A_DIFFERENCE,R_60_15_OR)
& or(R_60_15_OR)
& conj1(R_60_15_OR,R_60_14_POSITION)
& conj2(R_60_15_OR,R_60_16_DIRECTION)
& of(R_60_15_OR,R_60_18_A_WATCH)
& for_nim5(R_60_7_IS_INFLUENCED,R_60_3_WATCHES)
& watches(R_60_3_WATCHES)
& attrib6(R_60_3_WATCHES,R_60_2_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))