TSPC 14_a_seiko

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

( (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))

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_0014_5004,arg0).
arc(r_0014_0007__is,r_0014_0008__divided_r_0014_0009__into,scope).
arc(r_0014_0008__divided_r_0014_0009__into,r_0014_0001__The_r_0014_0002__method,arg1).
arc(r_0014_0008__divided_r_0014_0009__into,r_0014_0010__two_r_0014_0011__types,arg2).
arc(r_0014_0008__divided_r_0014_0009__into,z_0014_5009___star_,arg0).

fof(formula,axiom,
    ? [R_0014_0005__A_R_0014_0006__WATCH,Z_0014_5004,R_0014_0004__DRIVING,R_0014_0001__THE_R_0014_0002__METHOD,R_0014_0010__TWO_R_0014_0011__TYPES,Z_0014_5009___STAR_,R_0014_0007__IS_R_0014_0008__DIVIDED_R_0014_0009__INTO] :
      ( 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_0014_5004(Z_0014_5004)
      & z_0014_5009___star_(Z_0014_5009___STAR_)
      & r_0014_0007__is_r_0014_0008__divided_r_0014_0009__into(R_0014_0007__IS_R_0014_0008__DIVIDED_R_0014_0009__INTO)
      & has_arg0(R_0014_0007__IS_R_0014_0008__DIVIDED_R_0014_0009__INTO,Z_0014_5009___STAR_)
      & has_arg2(R_0014_0007__IS_R_0014_0008__DIVIDED_R_0014_0009__INTO,R_0014_0010__TWO_R_0014_0011__TYPES)
      & has_arg1(R_0014_0007__IS_R_0014_0008__DIVIDED_R_0014_0009__INTO,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_0014_5004)
      & has_arg1(R_0014_0004__DRIVING,R_0014_0005__A_R_0014_0006__WATCH) ) ).