TSPC 50_a_seiko

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

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

arc(r_0050_0002__the_r_0050_0004__time,r_0050_0003__same,attrib).
arc(r_0050_0006__an_r_0050_0009__field,r_0050_0007__electric,attrib).
arc(r_0050_0006__an_r_0050_0009__field,r_0050_0008__magnetic,attrib).
arc(r_0050_0010__is,r_0050_0002__the_r_0050_0004__time,r_0050_0001__At__nim).
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__nim).
arc(r_0050_0011__generated,z_0050_5008___star_,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_0050_5008___STAR_,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_0050_5008___star_(Z_0050_5008___STAR_)
      & 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_0050_5008___STAR_)
      & has_r_0050_0012__on__nim(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_attrib(R_0050_0006__AN_R_0050_0009__FIELD,R_0050_0008__MAGNETIC)
      & has_attrib(R_0050_0006__AN_R_0050_0009__FIELD,R_0050_0007__ELECTRIC)
      & has_r_0050_0001__At__nim(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_attrib(R_0050_0002__THE_R_0050_0004__TIME,R_0050_0003__SAME) ) ).