Text this: Combining task execution and background knowledge for the verification of medical guidelines