Context                Previous, Next                Top


14_a_seiko_9r65
The method for driving a watch is divided into two types.

%3 r_0014_0001__The_r_0014_0002__method The method r_0014_0004__driving driving r_0014_0001__The_r_0014_0002__method->r_0014_0004__driving for r_0014_0005__a_r_0014_0006__watch a watch r_0014_0004__driving->r_0014_0005__a_r_0014_0006__watch [arg1] z_000_14_a_seiko_9r65_10 r_0014_0004__driving->z_000_14_a_seiko_9r65_10 [arg0] r_0014_0007__is is r_0014_0008__divided divided r_0014_0007__is->r_0014_0008__divided [scope] r_0014_0008__divided->r_0014_0001__The_r_0014_0002__method [arg1] r_0014_0010__two_r_0014_0011__types two types r_0014_0008__divided->r_0014_0010__two_r_0014_0011__types into [clr] z_000_14_a_seiko_9r65_21 r_0014_0008__divided->z_000_14_a_seiko_9r65_21 [arg0] 
arc(r_0014_0001__The_r_0014_0002__method, r_0014_0004__driving, r_0014_0003__for).
arc(r_0014_0004__driving, r_0014_0005__a_r_0014_0006__watch, arg1).
arc(r_0014_0004__driving, z_000_14_a_seiko_9r65_10, arg0).
arc(r_0014_0007__is, r_0014_0008__divided, scope).
arc(r_0014_0008__divided, r_0014_0001__The_r_0014_0002__method, arg1).
arc(r_0014_0008__divided, r_0014_0010__two_r_0014_0011__types, r_0014_0009__into_clr28).
arc(r_0014_0008__divided, z_000_14_a_seiko_9r65_21, arg0).


%3 r_0014_0007__is_r_0014_0008__divided is divided z_000_14_a_seiko_9r65_21 r_0014_0007__is_r_0014_0008__divided->z_000_14_a_seiko_9r65_21 [arg0] r_0014_0010__two_r_0014_0011__types two types r_0014_0007__is_r_0014_0008__divided->r_0014_0010__two_r_0014_0011__types into [clr] r_0014_0001__The_r_0014_0002__method The method r_0014_0007__is_r_0014_0008__divided->r_0014_0001__The_r_0014_0002__method [arg1] r_0014_0004__driving driving r_0014_0001__The_r_0014_0002__method->r_0014_0004__driving for z_000_14_a_seiko_9r65_10 r_0014_0004__driving->z_000_14_a_seiko_9r65_10 [arg0] r_0014_0005__a_r_0014_0006__watch a watch r_0014_0004__driving->r_0014_0005__a_r_0014_0006__watch [arg1] 
fof(formula,axiom,
    ? [R_0014_0005__A_R_0014_0006__WATCH,Z_000_14_A_SEIKO_9R65_10,R_0014_0004__DRIVING,R_0014_0001__THE_R_0014_0002__METHOD,R_0014_0010__TWO_R_0014_0011__TYPES,Z_000_14_A_SEIKO_9R65_21,R_0014_0007__IS_R_0014_0008__DIVIDED] :
      ( r_0014_0005__a_r_0014_0006__watch(R_0014_0005__A_R_0014_0006__WATCH)
      & r_0014_0010__two_r_0014_0011__types(R_0014_0010__TWO_R_0014_0011__TYPES)
      & z_000_14_a_seiko_9r65_10(Z_000_14_A_SEIKO_9R65_10)
      & z_000_14_a_seiko_9r65_21(Z_000_14_A_SEIKO_9R65_21)
      & r_0014_0007__is_r_0014_0008__divided(R_0014_0007__IS_R_0014_0008__DIVIDED)
      & has_arg0(R_0014_0007__IS_R_0014_0008__DIVIDED,Z_000_14_A_SEIKO_9R65_21)
      & has_r_0014_0009__into_clr28(R_0014_0007__IS_R_0014_0008__DIVIDED,R_0014_0010__TWO_R_0014_0011__TYPES)
      & has_arg1(R_0014_0007__IS_R_0014_0008__DIVIDED,R_0014_0001__THE_R_0014_0002__METHOD)
      & r_0014_0001__The_r_0014_0002__method(R_0014_0001__THE_R_0014_0002__METHOD)
      & has_r_0014_0003__for(R_0014_0001__THE_R_0014_0002__METHOD,R_0014_0004__DRIVING)
      & r_0014_0004__driving(R_0014_0004__DRIVING)
      & has_arg0(R_0014_0004__DRIVING,Z_000_14_A_SEIKO_9R65_10)
      & has_arg1(R_0014_0004__DRIVING,R_0014_0005__A_R_0014_0006__WATCH) ) ).


n14_a_seiko_9r65 n14_a_seiko_9r65__1_1_1_1 The n14_a_seiko_9r65__1_1_2_1 method n14_a_seiko_9r65__1_1_3_1_1 for n14_a_seiko_9r65__1_1_3_2_1_1 driving n14_a_seiko_9r65__1_1_3_2_2_1_1 a n14_a_seiko_9r65__1_1_3_2_2_2_1 watch n14_a_seiko_9r65__1_2_1 is n14_a_seiko_9r65__1_3_1_1 * n14_a_seiko_9r65__1_3_2_1 divided n14_a_seiko_9r65__1_3_3_1_1 into n14_a_seiko_9r65__1_3_3_2_1_1 two n14_a_seiko_9r65__1_3_3_2_2_1 types n14_a_seiko_9r65__1_4_1 . n14_a_seiko_9r65__1 IP-MAT n14_a_seiko_9r65__1_1 NP-SBJ n14_a_seiko_9r65__1->n14_a_seiko_9r65__1_1 n14_a_seiko_9r65__1_2 BEP;_cat_VePASS_ n14_a_seiko_9r65__1->n14_a_seiko_9r65__1_2 n14_a_seiko_9r65__1_3 IP-PPL-CAT n14_a_seiko_9r65__1->n14_a_seiko_9r65__1_3 n14_a_seiko_9r65__1_4 PUNC n14_a_seiko_9r65__1->n14_a_seiko_9r65__1_4 n14_a_seiko_9r65__1_1_1 D n14_a_seiko_9r65__1_1->n14_a_seiko_9r65__1_1_1 n14_a_seiko_9r65__1_1_2 N n14_a_seiko_9r65__1_1->n14_a_seiko_9r65__1_1_2 n14_a_seiko_9r65__1_1_3 PP n14_a_seiko_9r65__1_1->n14_a_seiko_9r65__1_1_3 n14_a_seiko_9r65__1_1_1->n14_a_seiko_9r65__1_1_1_1 n14_a_seiko_9r65__1_1_2->n14_a_seiko_9r65__1_1_2_1 n14_a_seiko_9r65__1_1_3_1 P-ROLE n14_a_seiko_9r65__1_1_3->n14_a_seiko_9r65__1_1_3_1 n14_a_seiko_9r65__1_1_3_2 IP-PPL n14_a_seiko_9r65__1_1_3->n14_a_seiko_9r65__1_1_3_2 n14_a_seiko_9r65__1_1_3_1->n14_a_seiko_9r65__1_1_3_1_1 n14_a_seiko_9r65__1_1_3_2_1 VAG;_Tn_ n14_a_seiko_9r65__1_1_3_2->n14_a_seiko_9r65__1_1_3_2_1 n14_a_seiko_9r65__1_1_3_2_2 NP-OB1 n14_a_seiko_9r65__1_1_3_2->n14_a_seiko_9r65__1_1_3_2_2 n14_a_seiko_9r65__1_1_3_2_1->n14_a_seiko_9r65__1_1_3_2_1_1 n14_a_seiko_9r65__1_1_3_2_2_1 D n14_a_seiko_9r65__1_1_3_2_2->n14_a_seiko_9r65__1_1_3_2_2_1 n14_a_seiko_9r65__1_1_3_2_2_2 N n14_a_seiko_9r65__1_1_3_2_2->n14_a_seiko_9r65__1_1_3_2_2_2 n14_a_seiko_9r65__1_1_3_2_2_1->n14_a_seiko_9r65__1_1_3_2_2_1_1 n14_a_seiko_9r65__1_1_3_2_2_2->n14_a_seiko_9r65__1_1_3_2_2_2_1 n14_a_seiko_9r65__1_2->n14_a_seiko_9r65__1_2_1 n14_a_seiko_9r65__1_3_1 NP-LGS n14_a_seiko_9r65__1_3->n14_a_seiko_9r65__1_3_1 n14_a_seiko_9r65__1_3_2 VVN;_Tn.pr_ n14_a_seiko_9r65__1_3->n14_a_seiko_9r65__1_3_2 n14_a_seiko_9r65__1_3_3 PP-CLR n14_a_seiko_9r65__1_3->n14_a_seiko_9r65__1_3_3 n14_a_seiko_9r65__1_3_1->n14_a_seiko_9r65__1_3_1_1 n14_a_seiko_9r65__1_3_2->n14_a_seiko_9r65__1_3_2_1 n14_a_seiko_9r65__1_3_3_1 P-ROLE n14_a_seiko_9r65__1_3_3->n14_a_seiko_9r65__1_3_3_1 n14_a_seiko_9r65__1_3_3_2 NP n14_a_seiko_9r65__1_3_3->n14_a_seiko_9r65__1_3_3_2 n14_a_seiko_9r65__1_3_3_1->n14_a_seiko_9r65__1_3_3_1_1 n14_a_seiko_9r65__1_3_3_2_1 NUM n14_a_seiko_9r65__1_3_3_2->n14_a_seiko_9r65__1_3_3_2_1 n14_a_seiko_9r65__1_3_3_2_2 NS n14_a_seiko_9r65__1_3_3_2->n14_a_seiko_9r65__1_3_3_2_2 n14_a_seiko_9r65__1_3_3_2_1->n14_a_seiko_9r65__1_3_3_2_1_1 n14_a_seiko_9r65__1_3_3_2_2->n14_a_seiko_9r65__1_3_3_2_2_1 n14_a_seiko_9r65__1_4->n14_a_seiko_9r65__1_4_1 
( (IP-MAT (NP-SBJ (D The;{the})
                  (N method;{method})
                  (PP (P-ROLE for;{for})
                      (IP-PPL (VAG;_Tn_ driving;{drive})
                              (NP-OB1 (D a;{a})
                                      (N watch;{watch})))))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn.pr_ divided;{divide[into]})
                      (PP-CLR (P-ROLE into;{into})
                              (NP;{TYPES} (NUM two;{two})
                                          (NS types;{type}))))
          (PUNC .))
  (ID 14_a_seiko_9r65))