Context                Previous, Next                Top


78_a_seiko_9r65
Please see the power reserve indicator to check the level of the remaining power.

%3 r_0078_0001__Please_r_0078_0002__see Please see r_0078_0003__the_r_0078_0004__power_r_0078_0005__reserve_r_0078_0006__indicator the power reserve indicator r_0078_0001__Please_r_0078_0002__see->r_0078_0003__the_r_0078_0004__power_r_0078_0005__reserve_r_0078_0006__indicator [arg1] z_000_78_a_seiko_9r65_1 r_0078_0001__Please_r_0078_0002__see->z_000_78_a_seiko_9r65_1 [arg0] r_0078_0007__to_r_0078_0008__check to check r_0078_0007__to_r_0078_0008__check->z_000_78_a_seiko_9r65_1 [arg0] r_0078_0009__the_r_0078_0010__level the level r_0078_0007__to_r_0078_0008__check->r_0078_0009__the_r_0078_0010__level [arg1] r_0078_0012__the_r_0078_0014__power the power r_0078_0009__the_r_0078_0010__level->r_0078_0012__the_r_0078_0014__power of r_0078_0013__remaining remaining r_0078_0012__the_r_0078_0014__power->r_0078_0013__remaining [attrib] z_000_78_a_seiko_9r65_15 z_000_78_a_seiko_9r65_15->r_0078_0001__Please_r_0078_0002__see [scope] z_000_78_a_seiko_9r65_15->r_0078_0007__to_r_0078_0008__check [restriction] 
arc(r_0078_0001__Please_r_0078_0002__see, r_0078_0003__the_r_0078_0004__power_r_0078_0005__reserve_r_0078_0006__indicator, arg1).
arc(r_0078_0001__Please_r_0078_0002__see, z_000_78_a_seiko_9r65_1, arg0).
arc(r_0078_0007__to_r_0078_0008__check, r_0078_0009__the_r_0078_0010__level, arg1).
arc(r_0078_0007__to_r_0078_0008__check, z_000_78_a_seiko_9r65_1, arg0).
arc(r_0078_0009__the_r_0078_0010__level, r_0078_0012__the_r_0078_0014__power, r_0078_0011__of).
arc(r_0078_0012__the_r_0078_0014__power, r_0078_0013__remaining, attrib32).
arc(z_000_78_a_seiko_9r65_15, r_0078_0001__Please_r_0078_0002__see, scope).
arc(z_000_78_a_seiko_9r65_15, r_0078_0007__to_r_0078_0008__check, restriction).


%3 r_0078_0001__Please_r_0078_0002__see Please see r_0078_0003__the_r_0078_0004__power_r_0078_0005__reserve_r_0078_0006__indicator the power reserve indicator r_0078_0001__Please_r_0078_0002__see->r_0078_0003__the_r_0078_0004__power_r_0078_0005__reserve_r_0078_0006__indicator [arg1] z_000_78_a_seiko_9r65_1 r_0078_0001__Please_r_0078_0002__see->z_000_78_a_seiko_9r65_1 [arg0] r_0078_0007__to_r_0078_0008__check to check r_0078_0007__to_r_0078_0008__check->z_000_78_a_seiko_9r65_1 [arg0] r_0078_0009__the_r_0078_0010__level the level r_0078_0007__to_r_0078_0008__check->r_0078_0009__the_r_0078_0010__level [arg1] r_0078_0012__the_r_0078_0014__power the power r_0078_0009__the_r_0078_0010__level->r_0078_0012__the_r_0078_0014__power of r_0078_0013__remaining remaining r_0078_0012__the_r_0078_0014__power->r_0078_0013__remaining [attrib] z_000_78_a_seiko_9r65_15 z_000_78_a_seiko_9r65_15->r_0078_0001__Please_r_0078_0002__see [conj2] z_000_78_a_seiko_9r65_15->r_0078_0007__to_r_0078_0008__check [conj1] 
fof(formula,axiom,
    ? [Z_78_A_SEIKO_9R65_15,R_78_7_TO_CHECK,R_78_9_THE_LEVEL,R_78_12_THE_POWER,R_78_13_REMAINING,R_78_1_PLEASE_SEE,Z_78_A_SEIKO_9R65_1,R_78_3_THE_POWER_RESERVE_INDICATOR] :
      ( remaining(R_78_13_REMAINING)
      & the_power_reserve_indicator(R_78_3_THE_POWER_RESERVE_INDICATOR)
      & z_78_a_seiko_9r65_15(Z_78_A_SEIKO_9R65_15)
      & conj1(Z_78_A_SEIKO_9R65_15,R_78_7_TO_CHECK)
      & to_check(R_78_7_TO_CHECK,Z_78_A_SEIKO_9R65_1,R_78_9_THE_LEVEL)
      & the_level(R_78_9_THE_LEVEL)
      & of(R_78_9_THE_LEVEL,R_78_12_THE_POWER)
      & the_power(R_78_12_THE_POWER)
      & attrib32(R_78_12_THE_POWER,R_78_13_REMAINING)
      & conj2(Z_78_A_SEIKO_9R65_15,R_78_1_PLEASE_SEE)
      & please_see(R_78_1_PLEASE_SEE,Z_78_A_SEIKO_9R65_1,R_78_3_THE_POWER_RESERVE_INDICATOR) ) ).


n78_a_seiko_9r65 n78_a_seiko_9r65_3 Please n78_a_seiko_9r65_5 see n78_a_seiko_9r65_8 the n78_a_seiko_9r65_10 power n78_a_seiko_9r65_12 reserve n78_a_seiko_9r65_14 indicator n78_a_seiko_9r65_18 to n78_a_seiko_9r65_20 check n78_a_seiko_9r65_23 the n78_a_seiko_9r65_25 level n78_a_seiko_9r65_28 of n78_a_seiko_9r65_31 the n78_a_seiko_9r65_34 remaining n78_a_seiko_9r65_36 power n78_a_seiko_9r65_38 . n78_a_seiko_9r65_1 IP-IMP n78_a_seiko_9r65_2 FRM n78_a_seiko_9r65_1->n78_a_seiko_9r65_2 n78_a_seiko_9r65_4 VB;_Tn_ n78_a_seiko_9r65_1->n78_a_seiko_9r65_4 n78_a_seiko_9r65_6 NP-OB1 n78_a_seiko_9r65_1->n78_a_seiko_9r65_6 n78_a_seiko_9r65_15 PP-SCON n78_a_seiko_9r65_1->n78_a_seiko_9r65_15 n78_a_seiko_9r65_37 PUNC n78_a_seiko_9r65_1->n78_a_seiko_9r65_37 n78_a_seiko_9r65_2->n78_a_seiko_9r65_3 n78_a_seiko_9r65_4->n78_a_seiko_9r65_5 n78_a_seiko_9r65_7 D n78_a_seiko_9r65_6->n78_a_seiko_9r65_7 n78_a_seiko_9r65_9 N n78_a_seiko_9r65_6->n78_a_seiko_9r65_9 n78_a_seiko_9r65_11 N n78_a_seiko_9r65_6->n78_a_seiko_9r65_11 n78_a_seiko_9r65_13 N n78_a_seiko_9r65_6->n78_a_seiko_9r65_13 n78_a_seiko_9r65_7->n78_a_seiko_9r65_8 n78_a_seiko_9r65_9->n78_a_seiko_9r65_10 n78_a_seiko_9r65_11->n78_a_seiko_9r65_12 n78_a_seiko_9r65_13->n78_a_seiko_9r65_14 n78_a_seiko_9r65_16 IP-INF2 n78_a_seiko_9r65_15->n78_a_seiko_9r65_16 n78_a_seiko_9r65_17 TO n78_a_seiko_9r65_16->n78_a_seiko_9r65_17 n78_a_seiko_9r65_19 VB;_Tn_ n78_a_seiko_9r65_16->n78_a_seiko_9r65_19 n78_a_seiko_9r65_21 NP-OB1 n78_a_seiko_9r65_16->n78_a_seiko_9r65_21 n78_a_seiko_9r65_17->n78_a_seiko_9r65_18 n78_a_seiko_9r65_19->n78_a_seiko_9r65_20 n78_a_seiko_9r65_22 D n78_a_seiko_9r65_21->n78_a_seiko_9r65_22 n78_a_seiko_9r65_24 N n78_a_seiko_9r65_21->n78_a_seiko_9r65_24 n78_a_seiko_9r65_26 PP n78_a_seiko_9r65_21->n78_a_seiko_9r65_26 n78_a_seiko_9r65_22->n78_a_seiko_9r65_23 n78_a_seiko_9r65_24->n78_a_seiko_9r65_25 n78_a_seiko_9r65_27 P-ROLE n78_a_seiko_9r65_26->n78_a_seiko_9r65_27 n78_a_seiko_9r65_29 NP n78_a_seiko_9r65_26->n78_a_seiko_9r65_29 n78_a_seiko_9r65_27->n78_a_seiko_9r65_28 n78_a_seiko_9r65_30 D n78_a_seiko_9r65_29->n78_a_seiko_9r65_30 n78_a_seiko_9r65_32 ADJP n78_a_seiko_9r65_29->n78_a_seiko_9r65_32 n78_a_seiko_9r65_35 N n78_a_seiko_9r65_29->n78_a_seiko_9r65_35 n78_a_seiko_9r65_30->n78_a_seiko_9r65_31 n78_a_seiko_9r65_33 ADJ n78_a_seiko_9r65_32->n78_a_seiko_9r65_33 n78_a_seiko_9r65_33->n78_a_seiko_9r65_34 n78_a_seiko_9r65_35->n78_a_seiko_9r65_36 n78_a_seiko_9r65_37->n78_a_seiko_9r65_38 
( (IP-IMP (FRM Please)
          (VB;_Tn_ see;{see})
          (NP-OB1 (D the;{the})
                  (N power;{power})
                  (N reserve;{reserve})
                  (N indicator;{indicator}))
          (PP-SCON (IP-INF2 (TO to;{to})
                            (VB;_Tn_ check;{check})
                            (NP-OB1 (D the;{the})
                                    (N level;{level})
                                    (PP (P-ROLE of;{of})
                                        (NP (D the;{the})
                                            (ADJP (ADJ remaining;{remaining}))
                                            (N power;{power}))))))
          (PUNC .))
  (ID 78_a_seiko_9r65))