People here interested in solving the problem of guidelines authoring might be interested in some progress I have reported in this post - it relates to how to nicely represent logic structures in a way that is more friendly to clinicians.
We would be very interested to get some feedback.