abnormal.hyp

   1 ab(c).
   2 ab(psh).
   3 ab(w).
   4 ab(f).
   5 ab(s).
   6 ab(control_lcur_ci1).
   7 ab(control_ldemand_ci2).
   8 ab(control_sstorage_ci3).
   9 ab(control_swind_ci4).
  10 ab(control_sstorage_pshis).
  11 ab(control_swind_wiw).
  12 ab(control_co1_pshi1).
  13 ab(control_co2_wi1).
  14 ab(control_co3_fi1).
  15 ab(control_co4_si4).
  16 ab(control_co5_si5).
  17 ab(power_pin_si6).
  18 ab(power_pout_so2).
  19 ab(power_pshop_si1).
  20 ab(power_wop_si2).
  21 ab(power_fop_si3).
  22 ab(power_so1_pshi2).