[NTG-context] theorem environment

Hello, Using ConTeXt, I would like to define environments to appear like ---------------------------------------------- Theorem 1.4 (Pythagoras) In any right triangle, $c^2 = a^2 + b^2$ holds where ... ---------------------------------------------- and --- Example 1.1 ------------------- Let $a=2$ ... ----------------------------------- and (e. g. small, slanted or whatever) Remark 1.3 ---------- | Euclidean ... | ... . After browsing the documentation on the web, focussing on \defineenummeration, I'm still nowhere near the solution. Could anyone please give examples of how to do this? Regards, Andreas