HMR provides a high-level textual human-readable rule representation for XTT2.

It is directly executable by the HeaRT engine.

It can be used to write rules directly, or it can be generated by the HQEd XTT2 editor from the visual XTT2 model.

The same rule-based knowledge can be serialized to XML-based HML.

A simple example for the Thermostat case:

xtype [name: week_days,
       base: symbolic,
       ordered: yes,
       domain: [monday,tuesday,wednesday,thursday,friday,saturday,sunday]
      ].
 
xattr [name:  day,
       class: simple,
       type:  week_days,
       comm:  in].
 
xschm dt: [day] ==> [today].
 
xrule dt/1:
  [day in [monday,tuesday,wednesday,thursday,friday]]
  ==>
  [today set workday].
 
xrule dt/2:
  [day in [saturday,sunday]]
  ==>
  [today set weekend].