Fig. (1) The specification methodology. In step 1, the expert physicians create the clinical consensus; in step 2, the expert physician together with the knowledge engineer structure the consensus in Gesher; in step 3, the clinical editor creates the structured text representation; in step 4 the expert physician and the knowledge engineer create the semi-formal representation; and in step 5 the knowledge engineer is creating the formal representation.