78_a_seiko_9r65
Please see the power reserve indicator to check the level of the remaining power.
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).
fof(formula,axiom,
? [R_0078_0003__THE_R_0078_0004__POWER_R_0078_0005__RESERVE_R_0078_0006__INDICATOR,Z_000_78_A_SEIKO_9R65_1,R_0078_0001__PLEASE_R_0078_0002__SEE,R_0078_0013__REMAINING,R_0078_0012__THE_R_0078_0014__POWER,R_0078_0009__THE_R_0078_0010__LEVEL,R_0078_0007__TO_R_0078_0008__CHECK,Z_000_78_A_SEIKO_9R65_15] :
( r_0078_0003__the_r_0078_0004__power_r_0078_0005__reserve_r_0078_0006__indicator(R_0078_0003__THE_R_0078_0004__POWER_R_0078_0005__RESERVE_R_0078_0006__INDICATOR)
& r_0078_0013__remaining(R_0078_0013__REMAINING)
& z_000_78_a_seiko_9r65_1(Z_000_78_A_SEIKO_9R65_1)
& z_000_78_a_seiko_9r65_15(Z_000_78_A_SEIKO_9R65_15)
& has_conj1(Z_000_78_A_SEIKO_9R65_15,R_0078_0007__TO_R_0078_0008__CHECK)
& r_0078_0007__to_r_0078_0008__check(R_0078_0007__TO_R_0078_0008__CHECK)
& has_arg0(R_0078_0007__TO_R_0078_0008__CHECK,Z_000_78_A_SEIKO_9R65_1)
& has_arg1(R_0078_0007__TO_R_0078_0008__CHECK,R_0078_0009__THE_R_0078_0010__LEVEL)
& r_0078_0009__the_r_0078_0010__level(R_0078_0009__THE_R_0078_0010__LEVEL)
& has_r_0078_0011__of(R_0078_0009__THE_R_0078_0010__LEVEL,R_0078_0012__THE_R_0078_0014__POWER)
& r_0078_0012__the_r_0078_0014__power(R_0078_0012__THE_R_0078_0014__POWER)
& has_attrib32(R_0078_0012__THE_R_0078_0014__POWER,R_0078_0013__REMAINING)
& has_conj2(Z_000_78_A_SEIKO_9R65_15,R_0078_0001__PLEASE_R_0078_0002__SEE)
& r_0078_0001__Please_r_0078_0002__see(R_0078_0001__PLEASE_R_0078_0002__SEE)
& has_arg0(R_0078_0001__PLEASE_R_0078_0002__SEE,Z_000_78_A_SEIKO_9R65_1)
& has_arg1(R_0078_0001__PLEASE_R_0078_0002__SEE,R_0078_0003__THE_R_0078_0004__POWER_R_0078_0005__RESERVE_R_0078_0006__INDICATOR) ) ).
( (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))