arc(r_0046_0001__No_quant, r_0046_0003__or, restriction).
arc(r_0046_0001__No_quant, r_0046_0005__is, scope).
arc(r_0046_0003__or, r_0046_0002__motor, conj1).
arc(r_0046_0003__or, r_0046_0004__battery, conj2).
arc(r_0046_0005__is, r_0046_0006__mounted, scope).
arc(r_0046_0006__mounted, r_0046_0003__or, arg1).
arc(r_0046_0006__mounted, z_000_46_a_seiko_9r65_18, arg0).

fof(formula,axiom,
    ! [R_0046_0003__OR,R_0046_0002__MOTOR,R_0046_0004__BATTERY] :
      ( ( r_0046_0002__motor(R_0046_0002__MOTOR)
        & r_0046_0004__battery(R_0046_0004__BATTERY)
        & r_0046_0003__or(R_0046_0003__OR)
        & has_conj2(R_0046_0003__OR,R_0046_0004__BATTERY)
        & has_conj1(R_0046_0003__OR,R_0046_0002__MOTOR) )
     => ? [Z_000_46_A_SEIKO_9R65_18,R_0046_0005__IS_R_0046_0006__MOUNTED] :
          ( z_000_46_a_seiko_9r65_18(Z_000_46_A_SEIKO_9R65_18)
          & r_0046_0005__is_r_0046_0006__mounted(R_0046_0005__IS_R_0046_0006__MOUNTED)
          & has_arg0(R_0046_0005__IS_R_0046_0006__MOUNTED,Z_000_46_A_SEIKO_9R65_18)
          & has_arg1(R_0046_0005__IS_R_0046_0006__MOUNTED,R_0046_0003__OR) ) ) ).

( (IP-MAT (NP-SBJ (Q No;{no})
                  (NLYR (NLYR (N motor;{motor}))
                        (CONJP (CONJ or;{or})
                               (NLYR (N battery;{battery})))))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ mounted;{mount}))
          (PUNC .))
  (ID 46_a_seiko_9r65))