57_a_seiko_9r65
This part has properties for expanding and contracting with temperature changes, and influences the accuracy of a watch.
arc(r_0057_0003__has, r_0057_0001__This_r_0057_0002__part, arg0).
arc(r_0057_0003__has, r_0057_0004__properties, arg1).
arc(r_0057_0004__properties, r_0057_0007__and, r_0057_0005__for).
arc(r_0057_0006__expanding, r_0057_0010__temperature_r_0057_0011__changes, r_0057_0009__with_nim31).
arc(r_0057_0006__expanding, z_000_57_a_seiko_9r65_17, arg0).
arc(r_0057_0007__and, r_0057_0006__expanding, conj1).
arc(r_0057_0007__and, r_0057_0008__contracting, conj2).
arc(r_0057_0008__contracting, r_0057_0010__temperature_r_0057_0011__changes, r_0057_0009__with_nim31).
arc(r_0057_0008__contracting, z_000_57_a_seiko_9r65_17, arg0).
arc(r_0057_0013__and, r_0057_0003__has, conj1).
arc(r_0057_0013__and, r_0057_0014__influences, conj2).
arc(r_0057_0014__influences, r_0057_0001__This_r_0057_0002__part, arg0).
arc(r_0057_0014__influences, r_0057_0015__the_r_0057_0016__accuracy, arg1).
arc(r_0057_0015__the_r_0057_0016__accuracy, r_0057_0018__a_r_0057_0019__watch, r_0057_0017__of).
fof(formula,axiom,
? [R_0057_0001__THIS_R_0057_0002__PART,R_0057_0010__TEMPERATURE_R_0057_0011__CHANGES,Z_000_57_A_SEIKO_9R65_17,R_0057_0006__EXPANDING,R_0057_0008__CONTRACTING,R_0057_0007__AND,R_0057_0004__PROPERTIES,R_0057_0003__HAS,R_0057_0018__A_R_0057_0019__WATCH,R_0057_0015__THE_R_0057_0016__ACCURACY,R_0057_0014__INFLUENCES,R_0057_0013__AND] :
( r_0057_0001__This_r_0057_0002__part(R_0057_0001__THIS_R_0057_0002__PART)
& r_0057_0010__temperature_r_0057_0011__changes(R_0057_0010__TEMPERATURE_R_0057_0011__CHANGES)
& r_0057_0018__a_r_0057_0019__watch(R_0057_0018__A_R_0057_0019__WATCH)
& z_000_57_a_seiko_9r65_17(Z_000_57_A_SEIKO_9R65_17)
& r_0057_0013__and(R_0057_0013__AND)
& has_conj2(R_0057_0013__AND,R_0057_0014__INFLUENCES)
& r_0057_0014__influences(R_0057_0014__INFLUENCES)
& has_arg1(R_0057_0014__INFLUENCES,R_0057_0015__THE_R_0057_0016__ACCURACY)
& r_0057_0015__the_r_0057_0016__accuracy(R_0057_0015__THE_R_0057_0016__ACCURACY)
& has_r_0057_0017__of(R_0057_0015__THE_R_0057_0016__ACCURACY,R_0057_0018__A_R_0057_0019__WATCH)
& has_arg0(R_0057_0014__INFLUENCES,R_0057_0001__THIS_R_0057_0002__PART)
& has_conj1(R_0057_0013__AND,R_0057_0003__HAS)
& r_0057_0003__has(R_0057_0003__HAS)
& has_arg1(R_0057_0003__HAS,R_0057_0004__PROPERTIES)
& r_0057_0004__properties(R_0057_0004__PROPERTIES)
& has_r_0057_0005__for(R_0057_0004__PROPERTIES,R_0057_0007__AND)
& r_0057_0007__and(R_0057_0007__AND)
& has_conj2(R_0057_0007__AND,R_0057_0008__CONTRACTING)
& r_0057_0008__contracting(R_0057_0008__CONTRACTING)
& has_arg0(R_0057_0008__CONTRACTING,Z_000_57_A_SEIKO_9R65_17)
& has_r_0057_0009__with_nim31(R_0057_0008__CONTRACTING,R_0057_0010__TEMPERATURE_R_0057_0011__CHANGES)
& has_conj1(R_0057_0007__AND,R_0057_0006__EXPANDING)
& r_0057_0006__expanding(R_0057_0006__EXPANDING)
& has_arg0(R_0057_0006__EXPANDING,Z_000_57_A_SEIKO_9R65_17)
& has_r_0057_0009__with_nim31(R_0057_0006__EXPANDING,R_0057_0010__TEMPERATURE_R_0057_0011__CHANGES)
& has_arg0(R_0057_0003__HAS,R_0057_0001__THIS_R_0057_0002__PART) ) ).
( (IP-MAT (NP-SBJ;{BALANCE} (D This;{this})
(N part;{part}))
(ILYR (ILYR (HVP;_Tn_ has;{have})
(NP-OB1 (NS properties;{property})
(PP (P-ROLE for;{for})
(IP-PPL (ILYR (ILYR (VAG;_I_ expanding;{expand}))
(CONJP (CONJ and;{and})
(ILYR (VAG;_I_ contracting;{contract}))))
(PP-NIM (P-ROLE with;{with})
(NP (N temperature;{temperature})
(NS changes;{change})))))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (VBP;_Tn_ influences;{influence})
(NP-OB1 (D the;{the})
(N accuracy;{accuracy})
(PP (P-ROLE of;{of})
(NP (D a;{a})
(N watch;{watch})))))))
(PUNC .))
(ID 57_a_seiko_9r65))