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

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_0046_5006___star_,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_0046_5006___STAR_,R_0046_0005__IS_R_0046_0006__MOUNTED] :
          ( z_0046_5006___star_(Z_0046_5006___STAR_)
          & 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_0046_5006___STAR_)
          & has_arg1(R_0046_0005__IS_R_0046_0006__MOUNTED,R_0046_0003__OR) ) ) ).