Context                Previous, Next                Top


56_a_seiko_9r65
Accuracy of mechanical watches depends on a balance spring attached to a part called the balance.

%3 r_0056_0001__Accuracy Accuracy r_0056_0004__watches watches r_0056_0001__Accuracy->r_0056_0004__watches of r_0056_0003__mechanical mechanical r_0056_0004__watches->r_0056_0003__mechanical [attrib] r_0056_0005__depends depends r_0056_0005__depends->r_0056_0001__Accuracy [arg0] r_0056_0007__a_r_0056_0008__balance_r_0056_0009__spring a balance spring r_0056_0005__depends->r_0056_0007__a_r_0056_0008__balance_r_0056_0009__spring on [clr] r_0056_0010__attached attached r_0056_0010__attached->r_0056_0007__a_r_0056_0008__balance_r_0056_0009__spring [arg0] r_0056_0012__a_r_0056_0013__part a part r_0056_0010__attached->r_0056_0012__a_r_0056_0013__part to [clr] r_0056_0014__called called r_0056_0014__called->r_0056_0012__a_r_0056_0013__part [arg1] r_0056_0015__the_r_0056_0016__balance the balance r_0056_0014__called->r_0056_0015__the_r_0056_0016__balance [prd] z_000_56_a_seiko_9r65_38 r_0056_0014__called->z_000_56_a_seiko_9r65_38 [arg0] 
arc(r_0056_0001__Accuracy, r_0056_0004__watches, r_0056_0002__of).
arc(r_0056_0004__watches, r_0056_0003__mechanical, attrib9).
arc(r_0056_0005__depends, r_0056_0001__Accuracy, arg0).
arc(r_0056_0005__depends, r_0056_0007__a_r_0056_0008__balance_r_0056_0009__spring, r_0056_0006__on_clr19).
arc(r_0056_0010__attached, r_0056_0007__a_r_0056_0008__balance_r_0056_0009__spring, arg0).
arc(r_0056_0010__attached, r_0056_0012__a_r_0056_0013__part, r_0056_0011__to_clr32).
arc(r_0056_0014__called, r_0056_0012__a_r_0056_0013__part, arg1).
arc(r_0056_0014__called, r_0056_0015__the_r_0056_0016__balance, prd).
arc(r_0056_0014__called, z_000_56_a_seiko_9r65_38, arg0).


%3 r_0056_0001__Accuracy Accuracy r_0056_0004__watches watches r_0056_0001__Accuracy->r_0056_0004__watches of r_0056_0003__mechanical mechanical r_0056_0004__watches->r_0056_0003__mechanical [attrib] r_0056_0005__depends depends r_0056_0005__depends->r_0056_0001__Accuracy [arg0] r_0056_0007__a_r_0056_0008__balance_r_0056_0009__spring a balance spring r_0056_0005__depends->r_0056_0007__a_r_0056_0008__balance_r_0056_0009__spring on [clr] r_0056_0010__attached attached r_0056_0010__attached->r_0056_0007__a_r_0056_0008__balance_r_0056_0009__spring [arg0] r_0056_0012__a_r_0056_0013__part a part r_0056_0010__attached->r_0056_0012__a_r_0056_0013__part to [clr] r_0056_0014__called called r_0056_0014__called->r_0056_0012__a_r_0056_0013__part [arg1] r_0056_0015__the_r_0056_0016__balance the balance r_0056_0014__called->r_0056_0015__the_r_0056_0016__balance [prd] z_000_56_a_seiko_9r65_38 r_0056_0014__called->z_000_56_a_seiko_9r65_38 [arg0] 
fof(formula,axiom,
    ? [R_56_5_DEPENDS,R_56_1_ACCURACY,R_56_4_WATCHES,R_56_3_MECHANICAL,R_56_10_ATTACHED,R_56_7_A_BALANCE_SPRING,R_56_14_CALLED,Z_56_A_SEIKO_9R65_38,R_56_12_A_PART,R_56_15_THE_BALANCE] :
      ( mechanical(R_56_3_MECHANICAL)
      & a_balance_spring(R_56_7_A_BALANCE_SPRING)
      & a_part(R_56_12_A_PART)
      & the_balance(R_56_15_THE_BALANCE)
      & depends(R_56_5_DEPENDS,R_56_1_ACCURACY)
      & accuracy(R_56_1_ACCURACY)
      & of(R_56_1_ACCURACY,R_56_4_WATCHES)
      & watches(R_56_4_WATCHES)
      & attrib9(R_56_4_WATCHES,R_56_3_MECHANICAL)
      & on_clr19(R_56_5_DEPENDS,R_56_7_A_BALANCE_SPRING)
      & attached(R_56_10_ATTACHED,R_56_7_A_BALANCE_SPRING)
      & to_clr32(R_56_10_ATTACHED,R_56_12_A_PART)
      & called(R_56_14_CALLED,Z_56_A_SEIKO_9R65_38,R_56_12_A_PART,R_56_15_THE_BALANCE) ) ).


n56_a_seiko_9r65 n56_a_seiko_9r65_4 Accuracy n56_a_seiko_9r65_7 of n56_a_seiko_9r65_11 mechanical n56_a_seiko_9r65_13 watches n56_a_seiko_9r65_15 depends n56_a_seiko_9r65_18 on n56_a_seiko_9r65_21 a n56_a_seiko_9r65_23 balance n56_a_seiko_9r65_25 spring n56_a_seiko_9r65_28 attached n56_a_seiko_9r65_31 to n56_a_seiko_9r65_34 a n56_a_seiko_9r65_36 part n56_a_seiko_9r65_39 * n56_a_seiko_9r65_41 called n56_a_seiko_9r65_44 the n56_a_seiko_9r65_46 balance n56_a_seiko_9r65_48 . n56_a_seiko_9r65_1 IP-MAT n56_a_seiko_9r65_2 NP-SBJ n56_a_seiko_9r65_1->n56_a_seiko_9r65_2 n56_a_seiko_9r65_14 VBP;_Ipr_ n56_a_seiko_9r65_1->n56_a_seiko_9r65_14 n56_a_seiko_9r65_16 PP-CLR n56_a_seiko_9r65_1->n56_a_seiko_9r65_16 n56_a_seiko_9r65_47 PUNC n56_a_seiko_9r65_1->n56_a_seiko_9r65_47 n56_a_seiko_9r65_3 N n56_a_seiko_9r65_2->n56_a_seiko_9r65_3 n56_a_seiko_9r65_5 PP n56_a_seiko_9r65_2->n56_a_seiko_9r65_5 n56_a_seiko_9r65_3->n56_a_seiko_9r65_4 n56_a_seiko_9r65_6 P-ROLE n56_a_seiko_9r65_5->n56_a_seiko_9r65_6 n56_a_seiko_9r65_8 NP n56_a_seiko_9r65_5->n56_a_seiko_9r65_8 n56_a_seiko_9r65_6->n56_a_seiko_9r65_7 n56_a_seiko_9r65_9 ADJP n56_a_seiko_9r65_8->n56_a_seiko_9r65_9 n56_a_seiko_9r65_12 NS n56_a_seiko_9r65_8->n56_a_seiko_9r65_12 n56_a_seiko_9r65_10 ADJ n56_a_seiko_9r65_9->n56_a_seiko_9r65_10 n56_a_seiko_9r65_10->n56_a_seiko_9r65_11 n56_a_seiko_9r65_12->n56_a_seiko_9r65_13 n56_a_seiko_9r65_14->n56_a_seiko_9r65_15 n56_a_seiko_9r65_17 P-ROLE n56_a_seiko_9r65_16->n56_a_seiko_9r65_17 n56_a_seiko_9r65_19 NP n56_a_seiko_9r65_16->n56_a_seiko_9r65_19 n56_a_seiko_9r65_17->n56_a_seiko_9r65_18 n56_a_seiko_9r65_20 D n56_a_seiko_9r65_19->n56_a_seiko_9r65_20 n56_a_seiko_9r65_22 N n56_a_seiko_9r65_19->n56_a_seiko_9r65_22 n56_a_seiko_9r65_24 N n56_a_seiko_9r65_19->n56_a_seiko_9r65_24 n56_a_seiko_9r65_26 IP-PPL n56_a_seiko_9r65_19->n56_a_seiko_9r65_26 n56_a_seiko_9r65_20->n56_a_seiko_9r65_21 n56_a_seiko_9r65_22->n56_a_seiko_9r65_23 n56_a_seiko_9r65_24->n56_a_seiko_9r65_25 n56_a_seiko_9r65_27 VVN;_Ipr_ n56_a_seiko_9r65_26->n56_a_seiko_9r65_27 n56_a_seiko_9r65_29 PP-CLR n56_a_seiko_9r65_26->n56_a_seiko_9r65_29 n56_a_seiko_9r65_27->n56_a_seiko_9r65_28 n56_a_seiko_9r65_30 P-ROLE n56_a_seiko_9r65_29->n56_a_seiko_9r65_30 n56_a_seiko_9r65_32 NP n56_a_seiko_9r65_29->n56_a_seiko_9r65_32 n56_a_seiko_9r65_30->n56_a_seiko_9r65_31 n56_a_seiko_9r65_33 D n56_a_seiko_9r65_32->n56_a_seiko_9r65_33 n56_a_seiko_9r65_35 N n56_a_seiko_9r65_32->n56_a_seiko_9r65_35 n56_a_seiko_9r65_37 IP-PPL n56_a_seiko_9r65_32->n56_a_seiko_9r65_37 n56_a_seiko_9r65_33->n56_a_seiko_9r65_34 n56_a_seiko_9r65_35->n56_a_seiko_9r65_36 n56_a_seiko_9r65_38 NP-LGS n56_a_seiko_9r65_37->n56_a_seiko_9r65_38 n56_a_seiko_9r65_40 VBD;_Cn.n_ n56_a_seiko_9r65_37->n56_a_seiko_9r65_40 n56_a_seiko_9r65_42 NP-PRD n56_a_seiko_9r65_37->n56_a_seiko_9r65_42 n56_a_seiko_9r65_38->n56_a_seiko_9r65_39 n56_a_seiko_9r65_40->n56_a_seiko_9r65_41 n56_a_seiko_9r65_43 D n56_a_seiko_9r65_42->n56_a_seiko_9r65_43 n56_a_seiko_9r65_45 N n56_a_seiko_9r65_42->n56_a_seiko_9r65_45 n56_a_seiko_9r65_43->n56_a_seiko_9r65_44 n56_a_seiko_9r65_45->n56_a_seiko_9r65_46 n56_a_seiko_9r65_47->n56_a_seiko_9r65_48 
( (IP-MAT (NP-SBJ (N Accuracy;{accuracy})
                  (PP (P-ROLE of;{of})
                      (NP (ADJP (ADJ mechanical;{mechanical}))
                          (NS watches;{watch}))))
          (VBP;_Ipr_ depends;{depend[on]})
          (PP-CLR (P-ROLE on;{on})
                  (NP (D a;{a})
                      (N balance;{balance})
                      (N spring;{spring})
                      (IP-PPL (VVN;_Ipr_ attached;{attach[to]})
                              (PP-CLR (P-ROLE to;{to})
                                      (NP;{BALANCE} (D a;{a})
                                                    (N part;{part})
                                                    (IP-PPL (NP-LGS *)
                                                            (VBD;_Cn.n_ called;{call})
                                                            (NP-PRD (D the;{the})
                                                                    (N balance;{balance}))))))))
          (PUNC .))
  (ID 56_a_seiko_9r65))