TSPC 50_a_seiko

50_a_seiko_9r65
At the same time, an electric magnetic field is generated on the glide wheel.

arc(r_0050_0002__the_r_0050_0004__time, r_0050_0003__same, attrib8).
arc(r_0050_0006__an_r_0050_0009__field, r_0050_0007__electric, attrib18).
arc(r_0050_0006__an_r_0050_0009__field, r_0050_0008__magnetic, attrib21).
arc(r_0050_0010__is, r_0050_0002__the_r_0050_0004__time, r_0050_0001__At_nim5).
arc(r_0050_0010__is, r_0050_0011__generated, scope).
arc(r_0050_0011__generated, r_0050_0006__an_r_0050_0009__field, arg1).
arc(r_0050_0011__generated, r_0050_0013__the_r_0050_0014__glide_r_0050_0015__wheel, r_0050_0012__on_nim36).
arc(r_0050_0011__generated, z_000_50_a_seiko_9r65_29, arg0).

fof(formula,axiom,
    ? [R_0050_0003__SAME,R_0050_0002__THE_R_0050_0004__TIME,R_0050_0007__ELECTRIC,R_0050_0008__MAGNETIC,R_0050_0006__AN_R_0050_0009__FIELD,R_0050_0013__THE_R_0050_0014__GLIDE_R_0050_0015__WHEEL,Z_000_50_A_SEIKO_9R65_29,R_0050_0010__IS_R_0050_0011__GENERATED] :
      ( r_0050_0003__same(R_0050_0003__SAME)
      & r_0050_0007__electric(R_0050_0007__ELECTRIC)
      & r_0050_0008__magnetic(R_0050_0008__MAGNETIC)
      & r_0050_0013__the_r_0050_0014__glide_r_0050_0015__wheel(R_0050_0013__THE_R_0050_0014__GLIDE_R_0050_0015__WHEEL)
      & z_000_50_a_seiko_9r65_29(Z_000_50_A_SEIKO_9R65_29)
      & r_0050_0010__is_r_0050_0011__generated(R_0050_0010__IS_R_0050_0011__GENERATED)
      & has_arg0(R_0050_0010__IS_R_0050_0011__GENERATED,Z_000_50_A_SEIKO_9R65_29)
      & has_r_0050_0012__on_nim36(R_0050_0010__IS_R_0050_0011__GENERATED,R_0050_0013__THE_R_0050_0014__GLIDE_R_0050_0015__WHEEL)
      & has_arg1(R_0050_0010__IS_R_0050_0011__GENERATED,R_0050_0006__AN_R_0050_0009__FIELD)
      & r_0050_0006__an_r_0050_0009__field(R_0050_0006__AN_R_0050_0009__FIELD)
      & has_attrib21(R_0050_0006__AN_R_0050_0009__FIELD,R_0050_0008__MAGNETIC)
      & has_attrib18(R_0050_0006__AN_R_0050_0009__FIELD,R_0050_0007__ELECTRIC)
      & has_r_0050_0001__At_nim5(R_0050_0010__IS_R_0050_0011__GENERATED,R_0050_0002__THE_R_0050_0004__TIME)
      & r_0050_0002__the_r_0050_0004__time(R_0050_0002__THE_R_0050_0004__TIME)
      & has_attrib8(R_0050_0002__THE_R_0050_0004__TIME,R_0050_0003__SAME) ) ).

( (IP-MAT (PP-NIM (P-ROLE At;{at})
                  (NP (D the;{the})
                      (ADJP (ADJ same;{same}))
                      (N time;{time})))
          (PUNC ,)
          (NP-SBJ (D an;{an})
                  (ADJP (ADJ electric;{electric}))
                  (ADJP (ADJ magnetic;{magnetic}))
                  (N field;{field}))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ generated;{generate})
                      (PP-NIM (P-ROLE on;{on})
                              (NP;{GLIDE_WHEEL} (D the;{the})
                                                (N glide;{glide})
                                                (N wheel;{wheel}))))
          (PUNC .))
  (ID 50_a_seiko_9r65))