Context                Previous, Next                Top


46_a_seiko_9r65
No motor or battery is mounted.

%3 r_0046_0001__No_quant No [quant] r_0046_0003__or or r_0046_0001__No_quant->r_0046_0003__or [restriction] r_0046_0005__is is r_0046_0001__No_quant->r_0046_0005__is [scope] r_0046_0002__motor motor r_0046_0003__or->r_0046_0002__motor [conj1] r_0046_0004__battery battery r_0046_0003__or->r_0046_0004__battery [conj2] r_0046_0006__mounted mounted r_0046_0005__is->r_0046_0006__mounted [scope] r_0046_0006__mounted->r_0046_0003__or [arg1] z_000_46_a_seiko_9r65_18 r_0046_0006__mounted->z_000_46_a_seiko_9r65_18 [arg0] 
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).


%3 r_0046_0001__No_quant No [quant] r_0046_0003__or or r_0046_0001__No_quant->r_0046_0003__or [restriction] r_0046_0005__is_r_0046_0006__mounted is mounted r_0046_0001__No_quant->r_0046_0005__is_r_0046_0006__mounted [scope] r_0046_0002__motor motor r_0046_0003__or->r_0046_0002__motor [conj1] r_0046_0004__battery battery r_0046_0003__or->r_0046_0004__battery [conj2] r_0046_0005__is_r_0046_0006__mounted->r_0046_0003__or [arg1] z_000_46_a_seiko_9r65_18 r_0046_0005__is_r_0046_0006__mounted->z_000_46_a_seiko_9r65_18 [arg0] 
fof(formula,axiom,
    ! [R_46_3_OR,R_46_2_MOTOR,R_46_4_BATTERY] :
      ( ( motor(R_46_2_MOTOR)
        & battery(R_46_4_BATTERY)
        & or(R_46_3_OR)
        & conj1(R_46_3_OR,R_46_2_MOTOR)
        & conj2(R_46_3_OR,R_46_4_BATTERY) )
     => ? [R_46_5_IS_MOUNTED,Z_46_A_SEIKO_9R65_18] : is_mounted(R_46_5_IS_MOUNTED,Z_46_A_SEIKO_9R65_18,R_46_3_OR) ) ).


n46_a_seiko_9r65 n46_a_seiko_9r65_4 No n46_a_seiko_9r65_8 motor n46_a_seiko_9r65_11 or n46_a_seiko_9r65_14 battery n46_a_seiko_9r65_16 is n46_a_seiko_9r65_19 * n46_a_seiko_9r65_21 mounted n46_a_seiko_9r65_23 . n46_a_seiko_9r65_1 IP-MAT n46_a_seiko_9r65_2 NP-SBJ n46_a_seiko_9r65_1->n46_a_seiko_9r65_2 n46_a_seiko_9r65_15 BEP;_cat_VePASS_ n46_a_seiko_9r65_1->n46_a_seiko_9r65_15 n46_a_seiko_9r65_17 IP-PPL-CAT n46_a_seiko_9r65_1->n46_a_seiko_9r65_17 n46_a_seiko_9r65_22 PUNC n46_a_seiko_9r65_1->n46_a_seiko_9r65_22 n46_a_seiko_9r65_3 Q n46_a_seiko_9r65_2->n46_a_seiko_9r65_3 n46_a_seiko_9r65_5 NLYR n46_a_seiko_9r65_2->n46_a_seiko_9r65_5 n46_a_seiko_9r65_3->n46_a_seiko_9r65_4 n46_a_seiko_9r65_6 NLYR n46_a_seiko_9r65_5->n46_a_seiko_9r65_6 n46_a_seiko_9r65_9 CONJP n46_a_seiko_9r65_5->n46_a_seiko_9r65_9 n46_a_seiko_9r65_7 N n46_a_seiko_9r65_6->n46_a_seiko_9r65_7 n46_a_seiko_9r65_7->n46_a_seiko_9r65_8 n46_a_seiko_9r65_10 CONJ n46_a_seiko_9r65_9->n46_a_seiko_9r65_10 n46_a_seiko_9r65_12 NLYR n46_a_seiko_9r65_9->n46_a_seiko_9r65_12 n46_a_seiko_9r65_10->n46_a_seiko_9r65_11 n46_a_seiko_9r65_13 N n46_a_seiko_9r65_12->n46_a_seiko_9r65_13 n46_a_seiko_9r65_13->n46_a_seiko_9r65_14 n46_a_seiko_9r65_15->n46_a_seiko_9r65_16 n46_a_seiko_9r65_18 NP-LGS n46_a_seiko_9r65_17->n46_a_seiko_9r65_18 n46_a_seiko_9r65_20 VVN;_Tn_ n46_a_seiko_9r65_17->n46_a_seiko_9r65_20 n46_a_seiko_9r65_18->n46_a_seiko_9r65_19 n46_a_seiko_9r65_20->n46_a_seiko_9r65_21 n46_a_seiko_9r65_22->n46_a_seiko_9r65_23 
( (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))