Context                Previous, Next                Top


32_a_seiko_9r65
This part influences the accuracy to some extent because it is made of metal which expands and contracts with changes in temperature.

%3 r_0032_0003__influences influences r_0032_0001__This_r_0032_0002__part This part r_0032_0003__influences->r_0032_0001__This_r_0032_0002__part [arg0] r_0032_0004__the_r_0032_0005__accuracy the accuracy r_0032_0003__influences->r_0032_0004__the_r_0032_0005__accuracy [arg1] r_0032_0007__some_r_0032_0008__extent some extent r_0032_0004__the_r_0032_0005__accuracy->r_0032_0007__some_r_0032_0008__extent to r_0032_0009__because because r_0032_0009__because->r_0032_0003__influences [scope] r_0032_0011__is is r_0032_0009__because->r_0032_0011__is [restriction] r_0032_0012__made made r_0032_0011__is->r_0032_0012__made [scope] r_0032_0012__made->r_0032_0001__This_r_0032_0002__part [arg1] r_0032_0014__metal metal r_0032_0012__made->r_0032_0014__metal of [clr] z_000_32_a_seiko_9r65_32 r_0032_0012__made->z_000_32_a_seiko_9r65_32 [arg0] r_0032_0016__expands expands r_0032_0016__expands->r_0032_0014__metal [arg0] r_0032_0020__changes changes r_0032_0016__expands->r_0032_0020__changes with [nim] r_0032_0022__temperature temperature r_0032_0020__changes->r_0032_0022__temperature in r_0032_0017__and and r_0032_0017__and->r_0032_0016__expands [conj1] r_0032_0018__contracts contracts r_0032_0017__and->r_0032_0018__contracts [conj2] r_0032_0018__contracts->r_0032_0014__metal [arg0] r_0032_0018__contracts->r_0032_0020__changes with [nim] 
arc(r_0032_0003__influences, r_0032_0001__This_r_0032_0002__part, arg0).
arc(r_0032_0003__influences, r_0032_0004__the_r_0032_0005__accuracy, arg1).
arc(r_0032_0004__the_r_0032_0005__accuracy, r_0032_0007__some_r_0032_0008__extent, r_0032_0006__to).
arc(r_0032_0009__because, r_0032_0003__influences, scope).
arc(r_0032_0009__because, r_0032_0011__is, restriction).
arc(r_0032_0011__is, r_0032_0012__made, scope).
arc(r_0032_0012__made, r_0032_0001__This_r_0032_0002__part, arg1).
arc(r_0032_0012__made, r_0032_0014__metal, r_0032_0013__of_clr39).
arc(r_0032_0012__made, z_000_32_a_seiko_9r65_32, arg0).
arc(r_0032_0016__expands, r_0032_0014__metal, arg0).
arc(r_0032_0016__expands, r_0032_0020__changes, r_0032_0019__with_nim59).
arc(r_0032_0017__and, r_0032_0016__expands, conj1).
arc(r_0032_0017__and, r_0032_0018__contracts, conj2).
arc(r_0032_0018__contracts, r_0032_0014__metal, arg0).
arc(r_0032_0018__contracts, r_0032_0020__changes, r_0032_0019__with_nim59).
arc(r_0032_0020__changes, r_0032_0022__temperature, r_0032_0021__in).


%3 r_0032_0003__influences influences r_0032_0001__This_r_0032_0002__part This part r_0032_0003__influences->r_0032_0001__This_r_0032_0002__part [arg0] r_0032_0004__the_r_0032_0005__accuracy the accuracy r_0032_0003__influences->r_0032_0004__the_r_0032_0005__accuracy [arg1] r_0032_0007__some_r_0032_0008__extent some extent r_0032_0004__the_r_0032_0005__accuracy->r_0032_0007__some_r_0032_0008__extent to r_0032_0009__because because r_0032_0009__because->r_0032_0003__influences [conj2] r_0032_0011__is_r_0032_0012__made is made r_0032_0009__because->r_0032_0011__is_r_0032_0012__made [conj1] r_0032_0011__is_r_0032_0012__made->r_0032_0001__This_r_0032_0002__part [arg1] r_0032_0014__metal metal r_0032_0011__is_r_0032_0012__made->r_0032_0014__metal of [clr] z_000_32_a_seiko_9r65_32 r_0032_0011__is_r_0032_0012__made->z_000_32_a_seiko_9r65_32 [arg0] r_0032_0016__expands expands r_0032_0016__expands->r_0032_0014__metal [arg0] r_0032_0020__changes changes r_0032_0016__expands->r_0032_0020__changes with [nim] r_0032_0022__temperature temperature r_0032_0020__changes->r_0032_0022__temperature in r_0032_0017__and and r_0032_0017__and->r_0032_0016__expands [conj1] r_0032_0018__contracts contracts r_0032_0017__and->r_0032_0018__contracts [conj2] r_0032_0018__contracts->r_0032_0014__metal [arg0] r_0032_0018__contracts->r_0032_0020__changes with [nim] 
fof(formula,axiom,
    ? [R_32_9_BECAUSE,R_32_11_IS_MADE,Z_32_A_SEIKO_9R65_32,R_32_3_INFLUENCES,R_32_1_THIS_PART,R_32_4_THE_ACCURACY,R_32_7_SOME_EXTENT,R_32_17_AND,R_32_16_EXPANDS,R_32_18_CONTRACTS,R_32_14_METAL,R_32_20_CHANGES,R_32_22_TEMPERATURE] :
      ( this_part(R_32_1_THIS_PART)
      & some_extent(R_32_7_SOME_EXTENT)
      & metal(R_32_14_METAL)
      & temperature(R_32_22_TEMPERATURE)
      & because(R_32_9_BECAUSE)
      & conj1(R_32_9_BECAUSE,R_32_11_IS_MADE)
      & is_made(R_32_11_IS_MADE,Z_32_A_SEIKO_9R65_32,R_32_1_THIS_PART)
      & of_clr39(R_32_11_IS_MADE,R_32_14_METAL)
      & conj2(R_32_9_BECAUSE,R_32_3_INFLUENCES)
      & influences(R_32_3_INFLUENCES,R_32_1_THIS_PART,R_32_4_THE_ACCURACY)
      & the_accuracy(R_32_4_THE_ACCURACY)
      & to(R_32_4_THE_ACCURACY,R_32_7_SOME_EXTENT)
      & and(R_32_17_AND)
      & conj1(R_32_17_AND,R_32_16_EXPANDS)
      & expands(R_32_16_EXPANDS,R_32_14_METAL)
      & with_nim59(R_32_16_EXPANDS,R_32_20_CHANGES)
      & changes(R_32_20_CHANGES)
      & in(R_32_20_CHANGES,R_32_22_TEMPERATURE)
      & conj2(R_32_17_AND,R_32_18_CONTRACTS)
      & contracts(R_32_18_CONTRACTS,R_32_14_METAL)
      & with_nim59(R_32_18_CONTRACTS,R_32_20_CHANGES) ) ).


n32_a_seiko_9r65 n32_a_seiko_9r65_4 This n32_a_seiko_9r65_6 part n32_a_seiko_9r65_8 influences n32_a_seiko_9r65_11 the n32_a_seiko_9r65_13 accuracy n32_a_seiko_9r65_16 to n32_a_seiko_9r65_19 some n32_a_seiko_9r65_21 extent n32_a_seiko_9r65_24 because n32_a_seiko_9r65_28 it n32_a_seiko_9r65_30 is n32_a_seiko_9r65_33 * n32_a_seiko_9r65_35 made n32_a_seiko_9r65_38 of n32_a_seiko_9r65_41 metal n32_a_seiko_9r65_45 which n32_a_seiko_9r65_49 expands n32_a_seiko_9r65_52 and n32_a_seiko_9r65_55 contracts n32_a_seiko_9r65_58 with n32_a_seiko_9r65_61 changes n32_a_seiko_9r65_64 in n32_a_seiko_9r65_67 temperature n32_a_seiko_9r65_69 . n32_a_seiko_9r65_1 IP-MAT n32_a_seiko_9r65_2 NP-SBJ n32_a_seiko_9r65_1->n32_a_seiko_9r65_2 n32_a_seiko_9r65_7 VBP;_Tn_ n32_a_seiko_9r65_1->n32_a_seiko_9r65_7 n32_a_seiko_9r65_9 NP-OB1 n32_a_seiko_9r65_1->n32_a_seiko_9r65_9 n32_a_seiko_9r65_22 PP-SCON n32_a_seiko_9r65_1->n32_a_seiko_9r65_22 n32_a_seiko_9r65_68 PUNC n32_a_seiko_9r65_1->n32_a_seiko_9r65_68 n32_a_seiko_9r65_3 D n32_a_seiko_9r65_2->n32_a_seiko_9r65_3 n32_a_seiko_9r65_5 N n32_a_seiko_9r65_2->n32_a_seiko_9r65_5 n32_a_seiko_9r65_3->n32_a_seiko_9r65_4 n32_a_seiko_9r65_5->n32_a_seiko_9r65_6 n32_a_seiko_9r65_7->n32_a_seiko_9r65_8 n32_a_seiko_9r65_10 D n32_a_seiko_9r65_9->n32_a_seiko_9r65_10 n32_a_seiko_9r65_12 N n32_a_seiko_9r65_9->n32_a_seiko_9r65_12 n32_a_seiko_9r65_14 PP n32_a_seiko_9r65_9->n32_a_seiko_9r65_14 n32_a_seiko_9r65_10->n32_a_seiko_9r65_11 n32_a_seiko_9r65_12->n32_a_seiko_9r65_13 n32_a_seiko_9r65_15 P-ROLE n32_a_seiko_9r65_14->n32_a_seiko_9r65_15 n32_a_seiko_9r65_17 NP n32_a_seiko_9r65_14->n32_a_seiko_9r65_17 n32_a_seiko_9r65_15->n32_a_seiko_9r65_16 n32_a_seiko_9r65_18 D n32_a_seiko_9r65_17->n32_a_seiko_9r65_18 n32_a_seiko_9r65_20 N n32_a_seiko_9r65_17->n32_a_seiko_9r65_20 n32_a_seiko_9r65_18->n32_a_seiko_9r65_19 n32_a_seiko_9r65_20->n32_a_seiko_9r65_21 n32_a_seiko_9r65_23 P-CONN n32_a_seiko_9r65_22->n32_a_seiko_9r65_23 n32_a_seiko_9r65_25 IP-ADV n32_a_seiko_9r65_22->n32_a_seiko_9r65_25 n32_a_seiko_9r65_23->n32_a_seiko_9r65_24 n32_a_seiko_9r65_26 NP-SBJ n32_a_seiko_9r65_25->n32_a_seiko_9r65_26 n32_a_seiko_9r65_29 BEP;_cat_VePASS_ n32_a_seiko_9r65_25->n32_a_seiko_9r65_29 n32_a_seiko_9r65_31 IP-PPL-CAT n32_a_seiko_9r65_25->n32_a_seiko_9r65_31 n32_a_seiko_9r65_27 PRO n32_a_seiko_9r65_26->n32_a_seiko_9r65_27 n32_a_seiko_9r65_27->n32_a_seiko_9r65_28 n32_a_seiko_9r65_29->n32_a_seiko_9r65_30 n32_a_seiko_9r65_32 NP-LGS n32_a_seiko_9r65_31->n32_a_seiko_9r65_32 n32_a_seiko_9r65_34 VVN;_Tn.pr_ n32_a_seiko_9r65_31->n32_a_seiko_9r65_34 n32_a_seiko_9r65_36 PP-CLR n32_a_seiko_9r65_31->n32_a_seiko_9r65_36 n32_a_seiko_9r65_32->n32_a_seiko_9r65_33 n32_a_seiko_9r65_34->n32_a_seiko_9r65_35 n32_a_seiko_9r65_37 P-ROLE n32_a_seiko_9r65_36->n32_a_seiko_9r65_37 n32_a_seiko_9r65_39 NP n32_a_seiko_9r65_36->n32_a_seiko_9r65_39 n32_a_seiko_9r65_37->n32_a_seiko_9r65_38 n32_a_seiko_9r65_40 N n32_a_seiko_9r65_39->n32_a_seiko_9r65_40 n32_a_seiko_9r65_42 IP-REL n32_a_seiko_9r65_39->n32_a_seiko_9r65_42 n32_a_seiko_9r65_40->n32_a_seiko_9r65_41 n32_a_seiko_9r65_43 NP-SBJ n32_a_seiko_9r65_42->n32_a_seiko_9r65_43 n32_a_seiko_9r65_46 ILYR n32_a_seiko_9r65_42->n32_a_seiko_9r65_46 n32_a_seiko_9r65_56 PP-NIM n32_a_seiko_9r65_42->n32_a_seiko_9r65_56 n32_a_seiko_9r65_44 RPRO n32_a_seiko_9r65_43->n32_a_seiko_9r65_44 n32_a_seiko_9r65_44->n32_a_seiko_9r65_45 n32_a_seiko_9r65_47 ILYR n32_a_seiko_9r65_46->n32_a_seiko_9r65_47 n32_a_seiko_9r65_50 CONJP n32_a_seiko_9r65_46->n32_a_seiko_9r65_50 n32_a_seiko_9r65_48 VBP;_I_ n32_a_seiko_9r65_47->n32_a_seiko_9r65_48 n32_a_seiko_9r65_48->n32_a_seiko_9r65_49 n32_a_seiko_9r65_51 CONJ n32_a_seiko_9r65_50->n32_a_seiko_9r65_51 n32_a_seiko_9r65_53 ILYR n32_a_seiko_9r65_50->n32_a_seiko_9r65_53 n32_a_seiko_9r65_51->n32_a_seiko_9r65_52 n32_a_seiko_9r65_54 VBP;_I_ n32_a_seiko_9r65_53->n32_a_seiko_9r65_54 n32_a_seiko_9r65_54->n32_a_seiko_9r65_55 n32_a_seiko_9r65_57 P-ROLE n32_a_seiko_9r65_56->n32_a_seiko_9r65_57 n32_a_seiko_9r65_59 NP n32_a_seiko_9r65_56->n32_a_seiko_9r65_59 n32_a_seiko_9r65_57->n32_a_seiko_9r65_58 n32_a_seiko_9r65_60 NS n32_a_seiko_9r65_59->n32_a_seiko_9r65_60 n32_a_seiko_9r65_62 PP n32_a_seiko_9r65_59->n32_a_seiko_9r65_62 n32_a_seiko_9r65_60->n32_a_seiko_9r65_61 n32_a_seiko_9r65_63 P-ROLE n32_a_seiko_9r65_62->n32_a_seiko_9r65_63 n32_a_seiko_9r65_65 NP n32_a_seiko_9r65_62->n32_a_seiko_9r65_65 n32_a_seiko_9r65_63->n32_a_seiko_9r65_64 n32_a_seiko_9r65_66 N n32_a_seiko_9r65_65->n32_a_seiko_9r65_66 n32_a_seiko_9r65_66->n32_a_seiko_9r65_67 n32_a_seiko_9r65_68->n32_a_seiko_9r65_69 
( (IP-MAT (NP-SBJ;{BALANCE_SPRING} (D This;{this})
                                   (N part;{part}))
          (VBP;_Tn_ influences;{influence})
          (NP-OB1 (D the;{the})
                  (N accuracy;{accuracy})
                  (PP (P-ROLE to;{to})
                      (NP (D some;{some})
                          (N extent;{extent}))))
          (PP-SCON (P-CONN because;{because})
                   (IP-ADV (NP-SBJ;{BALANCE_SPRING} (PRO it;{it}))
                           (BEP;_cat_VePASS_ is;{be})
                           (IP-PPL-CAT (NP-LGS *)
                                       (VVN;_Tn.pr_ made;{make[of]})
                                       (PP-CLR (P-ROLE of;{of})
                                               (NP (N metal;{metal})
                                                   (IP-REL (NP-SBJ (RPRO which;{which}))
                                                           (ILYR (ILYR (VBP;_I_ expands;{expand}))
                                                                 (CONJP (CONJ and;{and})
                                                                        (ILYR (VBP;_I_ contracts;{contract}))))
                                                           (PP-NIM (P-ROLE with;{with})
                                                                   (NP (NS changes;{change})
                                                                       (PP (P-ROLE in;{in})
                                                                           (NP (N temperature;{temperature})))))))))))
          (PUNC .))
  (ID 32_a_seiko_9r65))