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_0014__called called z_000_56_a_seiko_9r65_38 r_0056_0014__called->z_000_56_a_seiko_9r65_38 [arg0] r_0056_0015__the_r_0056_0016__balance the balance r_0056_0014__called->r_0056_0015__the_r_0056_0016__balance [prd] r_0056_0012__a_r_0056_0013__part a part r_0056_0014__called->r_0056_0012__a_r_0056_0013__part [arg1] r_0056_0010__attached attached r_0056_0010__attached->r_0056_0012__a_r_0056_0013__part to [clr] r_0056_0007__a_r_0056_0008__balance_r_0056_0009__spring a balance spring r_0056_0010__attached->r_0056_0007__a_r_0056_0008__balance_r_0056_0009__spring [arg0] r_0056_0005__depends depends r_0056_0005__depends->r_0056_0007__a_r_0056_0008__balance_r_0056_0009__spring on [clr] r_0056_0001__Accuracy Accuracy r_0056_0005__depends->r_0056_0001__Accuracy [arg0] 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] 
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__1_1_1_1 Accuracy n56_a_seiko_9r65__1_1_2_1_1 of n56_a_seiko_9r65__1_1_2_2_1_1_1 mechanical n56_a_seiko_9r65__1_1_2_2_2_1 watches n56_a_seiko_9r65__1_2_1 depends n56_a_seiko_9r65__1_3_1_1 on n56_a_seiko_9r65__1_3_2_1_1 a n56_a_seiko_9r65__1_3_2_2_1 balance n56_a_seiko_9r65__1_3_2_3_1 spring n56_a_seiko_9r65__1_3_2_4_1_1 attached n56_a_seiko_9r65__1_3_2_4_2_1_1 to n56_a_seiko_9r65__1_3_2_4_2_2_1_1 a n56_a_seiko_9r65__1_3_2_4_2_2_2_1 part n56_a_seiko_9r65__1_3_2_4_2_2_3_1_1 * n56_a_seiko_9r65__1_3_2_4_2_2_3_2_1 called n56_a_seiko_9r65__1_3_2_4_2_2_3_3_1_1 the n56_a_seiko_9r65__1_3_2_4_2_2_3_3_2_1 balance n56_a_seiko_9r65__1_4_1 . n56_a_seiko_9r65__1 IP-MAT n56_a_seiko_9r65__1_1 NP-SBJ n56_a_seiko_9r65__1->n56_a_seiko_9r65__1_1 n56_a_seiko_9r65__1_2 VBP;_Ipr_ n56_a_seiko_9r65__1->n56_a_seiko_9r65__1_2 n56_a_seiko_9r65__1_3 PP-CLR n56_a_seiko_9r65__1->n56_a_seiko_9r65__1_3 n56_a_seiko_9r65__1_4 PUNC n56_a_seiko_9r65__1->n56_a_seiko_9r65__1_4 n56_a_seiko_9r65__1_1_1 N n56_a_seiko_9r65__1_1->n56_a_seiko_9r65__1_1_1 n56_a_seiko_9r65__1_1_2 PP n56_a_seiko_9r65__1_1->n56_a_seiko_9r65__1_1_2 n56_a_seiko_9r65__1_1_1->n56_a_seiko_9r65__1_1_1_1 n56_a_seiko_9r65__1_1_2_1 P-ROLE n56_a_seiko_9r65__1_1_2->n56_a_seiko_9r65__1_1_2_1 n56_a_seiko_9r65__1_1_2_2 NP n56_a_seiko_9r65__1_1_2->n56_a_seiko_9r65__1_1_2_2 n56_a_seiko_9r65__1_1_2_1->n56_a_seiko_9r65__1_1_2_1_1 n56_a_seiko_9r65__1_1_2_2_1 ADJP n56_a_seiko_9r65__1_1_2_2->n56_a_seiko_9r65__1_1_2_2_1 n56_a_seiko_9r65__1_1_2_2_2 NS n56_a_seiko_9r65__1_1_2_2->n56_a_seiko_9r65__1_1_2_2_2 n56_a_seiko_9r65__1_1_2_2_1_1 ADJ n56_a_seiko_9r65__1_1_2_2_1->n56_a_seiko_9r65__1_1_2_2_1_1 n56_a_seiko_9r65__1_1_2_2_1_1->n56_a_seiko_9r65__1_1_2_2_1_1_1 n56_a_seiko_9r65__1_1_2_2_2->n56_a_seiko_9r65__1_1_2_2_2_1 n56_a_seiko_9r65__1_2->n56_a_seiko_9r65__1_2_1 n56_a_seiko_9r65__1_3_1 P-ROLE n56_a_seiko_9r65__1_3->n56_a_seiko_9r65__1_3_1 n56_a_seiko_9r65__1_3_2 NP n56_a_seiko_9r65__1_3->n56_a_seiko_9r65__1_3_2 n56_a_seiko_9r65__1_3_1->n56_a_seiko_9r65__1_3_1_1 n56_a_seiko_9r65__1_3_2_1 D n56_a_seiko_9r65__1_3_2->n56_a_seiko_9r65__1_3_2_1 n56_a_seiko_9r65__1_3_2_2 N n56_a_seiko_9r65__1_3_2->n56_a_seiko_9r65__1_3_2_2 n56_a_seiko_9r65__1_3_2_3 N n56_a_seiko_9r65__1_3_2->n56_a_seiko_9r65__1_3_2_3 n56_a_seiko_9r65__1_3_2_4 IP-PPL n56_a_seiko_9r65__1_3_2->n56_a_seiko_9r65__1_3_2_4 n56_a_seiko_9r65__1_3_2_1->n56_a_seiko_9r65__1_3_2_1_1 n56_a_seiko_9r65__1_3_2_2->n56_a_seiko_9r65__1_3_2_2_1 n56_a_seiko_9r65__1_3_2_3->n56_a_seiko_9r65__1_3_2_3_1 n56_a_seiko_9r65__1_3_2_4_1 VVN;_Ipr_ n56_a_seiko_9r65__1_3_2_4->n56_a_seiko_9r65__1_3_2_4_1 n56_a_seiko_9r65__1_3_2_4_2 PP-CLR n56_a_seiko_9r65__1_3_2_4->n56_a_seiko_9r65__1_3_2_4_2 n56_a_seiko_9r65__1_3_2_4_1->n56_a_seiko_9r65__1_3_2_4_1_1 n56_a_seiko_9r65__1_3_2_4_2_1 P-ROLE n56_a_seiko_9r65__1_3_2_4_2->n56_a_seiko_9r65__1_3_2_4_2_1 n56_a_seiko_9r65__1_3_2_4_2_2 NP n56_a_seiko_9r65__1_3_2_4_2->n56_a_seiko_9r65__1_3_2_4_2_2 n56_a_seiko_9r65__1_3_2_4_2_1->n56_a_seiko_9r65__1_3_2_4_2_1_1 n56_a_seiko_9r65__1_3_2_4_2_2_1 D n56_a_seiko_9r65__1_3_2_4_2_2->n56_a_seiko_9r65__1_3_2_4_2_2_1 n56_a_seiko_9r65__1_3_2_4_2_2_2 N n56_a_seiko_9r65__1_3_2_4_2_2->n56_a_seiko_9r65__1_3_2_4_2_2_2 n56_a_seiko_9r65__1_3_2_4_2_2_3 IP-PPL n56_a_seiko_9r65__1_3_2_4_2_2->n56_a_seiko_9r65__1_3_2_4_2_2_3 n56_a_seiko_9r65__1_3_2_4_2_2_1->n56_a_seiko_9r65__1_3_2_4_2_2_1_1 n56_a_seiko_9r65__1_3_2_4_2_2_2->n56_a_seiko_9r65__1_3_2_4_2_2_2_1 n56_a_seiko_9r65__1_3_2_4_2_2_3_1 NP-LGS n56_a_seiko_9r65__1_3_2_4_2_2_3->n56_a_seiko_9r65__1_3_2_4_2_2_3_1 n56_a_seiko_9r65__1_3_2_4_2_2_3_2 VBD;_Cn.n_ n56_a_seiko_9r65__1_3_2_4_2_2_3->n56_a_seiko_9r65__1_3_2_4_2_2_3_2 n56_a_seiko_9r65__1_3_2_4_2_2_3_3 NP-PRD n56_a_seiko_9r65__1_3_2_4_2_2_3->n56_a_seiko_9r65__1_3_2_4_2_2_3_3 n56_a_seiko_9r65__1_3_2_4_2_2_3_1->n56_a_seiko_9r65__1_3_2_4_2_2_3_1_1 n56_a_seiko_9r65__1_3_2_4_2_2_3_2->n56_a_seiko_9r65__1_3_2_4_2_2_3_2_1 n56_a_seiko_9r65__1_3_2_4_2_2_3_3_1 D n56_a_seiko_9r65__1_3_2_4_2_2_3_3->n56_a_seiko_9r65__1_3_2_4_2_2_3_3_1 n56_a_seiko_9r65__1_3_2_4_2_2_3_3_2 N n56_a_seiko_9r65__1_3_2_4_2_2_3_3->n56_a_seiko_9r65__1_3_2_4_2_2_3_3_2 n56_a_seiko_9r65__1_3_2_4_2_2_3_3_1->n56_a_seiko_9r65__1_3_2_4_2_2_3_3_1_1 n56_a_seiko_9r65__1_3_2_4_2_2_3_3_2->n56_a_seiko_9r65__1_3_2_4_2_2_3_3_2_1 n56_a_seiko_9r65__1_4->n56_a_seiko_9r65__1_4_1 
( (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))