Clinical Knowledge Representation (CKR): A Formal Framework for Machine-Readable Clinical Knowledge | Synapse