GENERIC INTERFACE Energy (Atr);
  (* 
    WHERE TYPE Atr.T *)

END LocalEvaluator;