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_0005__is_r_0046_0006__mounted is mounted z_000_46_a_seiko_9r65_18 r_0046_0005__is_r_0046_0006__mounted->z_000_46_a_seiko_9r65_18 [arg0] r_0046_0003__or or r_0046_0005__is_r_0046_0006__mounted->r_0046_0003__or [arg1] r_0046_0004__battery battery r_0046_0003__or->r_0046_0004__battery [conj2] r_0046_0002__motor motor r_0046_0003__or->r_0046_0002__motor [conj1] r_0046_0001__No_quant No [quant] r_0046_0001__No_quant->r_0046_0005__is_r_0046_0006__mounted [scope] r_0046_0001__No_quant->r_0046_0003__or [restriction] 
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__1_1_1_1 No n46_a_seiko_9r65__1_1_2_1_1_1 motor n46_a_seiko_9r65__1_1_2_2_1_1 or n46_a_seiko_9r65__1_1_2_2_2_1_1 battery n46_a_seiko_9r65__1_2_1 is n46_a_seiko_9r65__1_3_1_1 * n46_a_seiko_9r65__1_3_2_1 mounted n46_a_seiko_9r65__1_4_1 . n46_a_seiko_9r65__1 IP-MAT n46_a_seiko_9r65__1_1 NP-SBJ n46_a_seiko_9r65__1->n46_a_seiko_9r65__1_1 n46_a_seiko_9r65__1_2 BEP;_cat_VePASS_ n46_a_seiko_9r65__1->n46_a_seiko_9r65__1_2 n46_a_seiko_9r65__1_3 IP-PPL-CAT n46_a_seiko_9r65__1->n46_a_seiko_9r65__1_3 n46_a_seiko_9r65__1_4 PUNC n46_a_seiko_9r65__1->n46_a_seiko_9r65__1_4 n46_a_seiko_9r65__1_1_1 Q n46_a_seiko_9r65__1_1->n46_a_seiko_9r65__1_1_1 n46_a_seiko_9r65__1_1_2 NLYR n46_a_seiko_9r65__1_1->n46_a_seiko_9r65__1_1_2 n46_a_seiko_9r65__1_1_1->n46_a_seiko_9r65__1_1_1_1 n46_a_seiko_9r65__1_1_2_1 NLYR n46_a_seiko_9r65__1_1_2->n46_a_seiko_9r65__1_1_2_1 n46_a_seiko_9r65__1_1_2_2 CONJP n46_a_seiko_9r65__1_1_2->n46_a_seiko_9r65__1_1_2_2 n46_a_seiko_9r65__1_1_2_1_1 N n46_a_seiko_9r65__1_1_2_1->n46_a_seiko_9r65__1_1_2_1_1 n46_a_seiko_9r65__1_1_2_1_1->n46_a_seiko_9r65__1_1_2_1_1_1 n46_a_seiko_9r65__1_1_2_2_1 CONJ n46_a_seiko_9r65__1_1_2_2->n46_a_seiko_9r65__1_1_2_2_1 n46_a_seiko_9r65__1_1_2_2_2 NLYR n46_a_seiko_9r65__1_1_2_2->n46_a_seiko_9r65__1_1_2_2_2 n46_a_seiko_9r65__1_1_2_2_1->n46_a_seiko_9r65__1_1_2_2_1_1 n46_a_seiko_9r65__1_1_2_2_2_1 N n46_a_seiko_9r65__1_1_2_2_2->n46_a_seiko_9r65__1_1_2_2_2_1 n46_a_seiko_9r65__1_1_2_2_2_1->n46_a_seiko_9r65__1_1_2_2_2_1_1 n46_a_seiko_9r65__1_2->n46_a_seiko_9r65__1_2_1 n46_a_seiko_9r65__1_3_1 NP-LGS n46_a_seiko_9r65__1_3->n46_a_seiko_9r65__1_3_1 n46_a_seiko_9r65__1_3_2 VVN;_Tn_ n46_a_seiko_9r65__1_3->n46_a_seiko_9r65__1_3_2 n46_a_seiko_9r65__1_3_1->n46_a_seiko_9r65__1_3_1_1 n46_a_seiko_9r65__1_3_2->n46_a_seiko_9r65__1_3_2_1 n46_a_seiko_9r65__1_4->n46_a_seiko_9r65__1_4_1 
( (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))