TSPC 78_a_seiko

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

( (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))

arc(r_0078_0002__see,r_0078_0003__the_r_0078_0004__power_r_0078_0005__reserve_r_0078_0006__indicator,arg1).
arc(r_0078_0002__see,z_0078_5002,arg0).
arc(r_0078_0008__check,r_0078_0009__the_r_0078_0010__level,arg1).
arc(r_0078_0008__check,z_0078_5002,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,attrib).
arc(z_0078_5004,r_0078_0002__see,scope).
arc(z_0078_5004,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_0078_5002,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_0008__CHECK,Z_0078_5004] :
      ( 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_0078_5002(Z_0078_5002)
      & z_0078_5004(Z_0078_5004)
      & has_conj1(Z_0078_5004,R_0078_0008__CHECK)
      & r_0078_0008__check(R_0078_0008__CHECK)
      & has_arg0(R_0078_0008__CHECK,Z_0078_5002)
      & has_arg1(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_attrib(R_0078_0012__THE_R_0078_0014__POWER,R_0078_0013__REMAINING)
      & has_conj2(Z_0078_5004,R_0078_0002__SEE)
      & r_0078_0002__see(R_0078_0002__SEE)
      & has_arg0(R_0078_0002__SEE,Z_0078_5002)
      & has_arg1(R_0078_0002__SEE,R_0078_0003__THE_R_0078_0004__POWER_R_0078_0005__RESERVE_R_0078_0006__INDICATOR) ) ).