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_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_r_0014_0008__divided is divided r_0014_0007__is_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_0007__is_r_0014_0008__divided->r_0014_0010__two_r_0014_0011__types into [clr] z_000_14_a_seiko_9r65_21 r_0014_0007__is_r_0014_0008__divided->z_000_14_a_seiko_9r65_21 [arg0] 
fof(formula,axiom,
    ? [R_14_7_IS_DIVIDED,Z_14_A_SEIKO_9R65_21,R_14_1_THE_METHOD,R_14_4_DRIVING,Z_14_A_SEIKO_9R65_10,R_14_5_A_WATCH,R_14_10_TWO_TYPES] :
      ( a_watch(R_14_5_A_WATCH)
      & two_types(R_14_10_TWO_TYPES)
      & is_divided(R_14_7_IS_DIVIDED,Z_14_A_SEIKO_9R65_21,R_14_1_THE_METHOD)
      & the_method(R_14_1_THE_METHOD)
      & for(R_14_1_THE_METHOD,R_14_4_DRIVING)
      & driving(R_14_4_DRIVING,Z_14_A_SEIKO_9R65_10,R_14_5_A_WATCH)
      & into_clr28(R_14_7_IS_DIVIDED,R_14_10_TWO_TYPES) ) ).


n14_a_seiko_9r65 n14_a_seiko_9r65_4 The n14_a_seiko_9r65_6 method n14_a_seiko_9r65_9 for n14_a_seiko_9r65_12 driving n14_a_seiko_9r65_15 a n14_a_seiko_9r65_17 watch n14_a_seiko_9r65_19 is n14_a_seiko_9r65_22 * n14_a_seiko_9r65_24 divided n14_a_seiko_9r65_27 into n14_a_seiko_9r65_30 two n14_a_seiko_9r65_32 types n14_a_seiko_9r65_34 . n14_a_seiko_9r65_1 IP-MAT n14_a_seiko_9r65_2 NP-SBJ n14_a_seiko_9r65_1->n14_a_seiko_9r65_2 n14_a_seiko_9r65_18 BEP;_cat_VePASS_ n14_a_seiko_9r65_1->n14_a_seiko_9r65_18 n14_a_seiko_9r65_20 IP-PPL-CAT n14_a_seiko_9r65_1->n14_a_seiko_9r65_20 n14_a_seiko_9r65_33 PUNC n14_a_seiko_9r65_1->n14_a_seiko_9r65_33 n14_a_seiko_9r65_3 D n14_a_seiko_9r65_2->n14_a_seiko_9r65_3 n14_a_seiko_9r65_5 N n14_a_seiko_9r65_2->n14_a_seiko_9r65_5 n14_a_seiko_9r65_7 PP n14_a_seiko_9r65_2->n14_a_seiko_9r65_7 n14_a_seiko_9r65_3->n14_a_seiko_9r65_4 n14_a_seiko_9r65_5->n14_a_seiko_9r65_6 n14_a_seiko_9r65_8 P-ROLE n14_a_seiko_9r65_7->n14_a_seiko_9r65_8 n14_a_seiko_9r65_10 IP-PPL n14_a_seiko_9r65_7->n14_a_seiko_9r65_10 n14_a_seiko_9r65_8->n14_a_seiko_9r65_9 n14_a_seiko_9r65_11 VAG;_Tn_ n14_a_seiko_9r65_10->n14_a_seiko_9r65_11 n14_a_seiko_9r65_13 NP-OB1 n14_a_seiko_9r65_10->n14_a_seiko_9r65_13 n14_a_seiko_9r65_11->n14_a_seiko_9r65_12 n14_a_seiko_9r65_14 D n14_a_seiko_9r65_13->n14_a_seiko_9r65_14 n14_a_seiko_9r65_16 N n14_a_seiko_9r65_13->n14_a_seiko_9r65_16 n14_a_seiko_9r65_14->n14_a_seiko_9r65_15 n14_a_seiko_9r65_16->n14_a_seiko_9r65_17 n14_a_seiko_9r65_18->n14_a_seiko_9r65_19 n14_a_seiko_9r65_21 NP-LGS n14_a_seiko_9r65_20->n14_a_seiko_9r65_21 n14_a_seiko_9r65_23 VVN;_Tn.pr_ n14_a_seiko_9r65_20->n14_a_seiko_9r65_23 n14_a_seiko_9r65_25 PP-CLR n14_a_seiko_9r65_20->n14_a_seiko_9r65_25 n14_a_seiko_9r65_21->n14_a_seiko_9r65_22 n14_a_seiko_9r65_23->n14_a_seiko_9r65_24 n14_a_seiko_9r65_26 P-ROLE n14_a_seiko_9r65_25->n14_a_seiko_9r65_26 n14_a_seiko_9r65_28 NP n14_a_seiko_9r65_25->n14_a_seiko_9r65_28 n14_a_seiko_9r65_26->n14_a_seiko_9r65_27 n14_a_seiko_9r65_29 NUM n14_a_seiko_9r65_28->n14_a_seiko_9r65_29 n14_a_seiko_9r65_31 NS n14_a_seiko_9r65_28->n14_a_seiko_9r65_31 n14_a_seiko_9r65_29->n14_a_seiko_9r65_30 n14_a_seiko_9r65_31->n14_a_seiko_9r65_32 n14_a_seiko_9r65_33->n14_a_seiko_9r65_34 
( (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))