What is a Risk? A Formal Representation of Risk of Stroke for People with Atrial Fibrillation.