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 z_000_78_a_seiko_9r65_15 r_0078_0007__to_r_0078_0008__check to check z_000_78_a_seiko_9r65_15->r_0078_0007__to_r_0078_0008__check [conj1] r_0078_0001__Please_r_0078_0002__see Please see z_000_78_a_seiko_9r65_15->r_0078_0001__Please_r_0078_0002__see [conj2] 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] z_000_78_a_seiko_9r65_1 r_0078_0007__to_r_0078_0008__check->z_000_78_a_seiko_9r65_1 [arg0] r_0078_0001__Please_r_0078_0002__see->z_000_78_a_seiko_9r65_1 [arg0] 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] r_0078_0012__the_r_0078_0014__power the power r_0078_0013__remaining remaining r_0078_0012__the_r_0078_0014__power->r_0078_0013__remaining [attrib] r_0078_0009__the_r_0078_0010__level->r_0078_0012__the_r_0078_0014__power of 
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__1_1_1 Please n78_a_seiko_9r65__1_2_1 see n78_a_seiko_9r65__1_3_1_1 the n78_a_seiko_9r65__1_3_2_1 power n78_a_seiko_9r65__1_3_3_1 reserve n78_a_seiko_9r65__1_3_4_1 indicator n78_a_seiko_9r65__1_4_1_1_1 to n78_a_seiko_9r65__1_4_1_2_1 check n78_a_seiko_9r65__1_4_1_3_1_1 the n78_a_seiko_9r65__1_4_1_3_2_1 level n78_a_seiko_9r65__1_4_1_3_3_1_1 of n78_a_seiko_9r65__1_4_1_3_3_2_1_1 the n78_a_seiko_9r65__1_4_1_3_3_2_2_1_1 remaining n78_a_seiko_9r65__1_4_1_3_3_2_3_1 power n78_a_seiko_9r65__1_5_1 . n78_a_seiko_9r65__1 IP-IMP n78_a_seiko_9r65__1_1 FRM n78_a_seiko_9r65__1->n78_a_seiko_9r65__1_1 n78_a_seiko_9r65__1_2 VB;_Tn_ n78_a_seiko_9r65__1->n78_a_seiko_9r65__1_2 n78_a_seiko_9r65__1_3 NP-OB1 n78_a_seiko_9r65__1->n78_a_seiko_9r65__1_3 n78_a_seiko_9r65__1_4 PP-SCON n78_a_seiko_9r65__1->n78_a_seiko_9r65__1_4 n78_a_seiko_9r65__1_5 PUNC n78_a_seiko_9r65__1->n78_a_seiko_9r65__1_5 n78_a_seiko_9r65__1_1->n78_a_seiko_9r65__1_1_1 n78_a_seiko_9r65__1_2->n78_a_seiko_9r65__1_2_1 n78_a_seiko_9r65__1_3_1 D n78_a_seiko_9r65__1_3->n78_a_seiko_9r65__1_3_1 n78_a_seiko_9r65__1_3_2 N n78_a_seiko_9r65__1_3->n78_a_seiko_9r65__1_3_2 n78_a_seiko_9r65__1_3_3 N n78_a_seiko_9r65__1_3->n78_a_seiko_9r65__1_3_3 n78_a_seiko_9r65__1_3_4 N n78_a_seiko_9r65__1_3->n78_a_seiko_9r65__1_3_4 n78_a_seiko_9r65__1_3_1->n78_a_seiko_9r65__1_3_1_1 n78_a_seiko_9r65__1_3_2->n78_a_seiko_9r65__1_3_2_1 n78_a_seiko_9r65__1_3_3->n78_a_seiko_9r65__1_3_3_1 n78_a_seiko_9r65__1_3_4->n78_a_seiko_9r65__1_3_4_1 n78_a_seiko_9r65__1_4_1 IP-INF2 n78_a_seiko_9r65__1_4->n78_a_seiko_9r65__1_4_1 n78_a_seiko_9r65__1_4_1_1 TO n78_a_seiko_9r65__1_4_1->n78_a_seiko_9r65__1_4_1_1 n78_a_seiko_9r65__1_4_1_2 VB;_Tn_ n78_a_seiko_9r65__1_4_1->n78_a_seiko_9r65__1_4_1_2 n78_a_seiko_9r65__1_4_1_3 NP-OB1 n78_a_seiko_9r65__1_4_1->n78_a_seiko_9r65__1_4_1_3 n78_a_seiko_9r65__1_4_1_1->n78_a_seiko_9r65__1_4_1_1_1 n78_a_seiko_9r65__1_4_1_2->n78_a_seiko_9r65__1_4_1_2_1 n78_a_seiko_9r65__1_4_1_3_1 D n78_a_seiko_9r65__1_4_1_3->n78_a_seiko_9r65__1_4_1_3_1 n78_a_seiko_9r65__1_4_1_3_2 N n78_a_seiko_9r65__1_4_1_3->n78_a_seiko_9r65__1_4_1_3_2 n78_a_seiko_9r65__1_4_1_3_3 PP n78_a_seiko_9r65__1_4_1_3->n78_a_seiko_9r65__1_4_1_3_3 n78_a_seiko_9r65__1_4_1_3_1->n78_a_seiko_9r65__1_4_1_3_1_1 n78_a_seiko_9r65__1_4_1_3_2->n78_a_seiko_9r65__1_4_1_3_2_1 n78_a_seiko_9r65__1_4_1_3_3_1 P-ROLE n78_a_seiko_9r65__1_4_1_3_3->n78_a_seiko_9r65__1_4_1_3_3_1 n78_a_seiko_9r65__1_4_1_3_3_2 NP n78_a_seiko_9r65__1_4_1_3_3->n78_a_seiko_9r65__1_4_1_3_3_2 n78_a_seiko_9r65__1_4_1_3_3_1->n78_a_seiko_9r65__1_4_1_3_3_1_1 n78_a_seiko_9r65__1_4_1_3_3_2_1 D n78_a_seiko_9r65__1_4_1_3_3_2->n78_a_seiko_9r65__1_4_1_3_3_2_1 n78_a_seiko_9r65__1_4_1_3_3_2_2 ADJP n78_a_seiko_9r65__1_4_1_3_3_2->n78_a_seiko_9r65__1_4_1_3_3_2_2 n78_a_seiko_9r65__1_4_1_3_3_2_3 N n78_a_seiko_9r65__1_4_1_3_3_2->n78_a_seiko_9r65__1_4_1_3_3_2_3 n78_a_seiko_9r65__1_4_1_3_3_2_1->n78_a_seiko_9r65__1_4_1_3_3_2_1_1 n78_a_seiko_9r65__1_4_1_3_3_2_2_1 ADJ n78_a_seiko_9r65__1_4_1_3_3_2_2->n78_a_seiko_9r65__1_4_1_3_3_2_2_1 n78_a_seiko_9r65__1_4_1_3_3_2_2_1->n78_a_seiko_9r65__1_4_1_3_3_2_2_1_1 n78_a_seiko_9r65__1_4_1_3_3_2_3->n78_a_seiko_9r65__1_4_1_3_3_2_3_1 n78_a_seiko_9r65__1_5->n78_a_seiko_9r65__1_5_1 
( (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))