EXACT2: the semantics of biomedical protocols