Symbolic Logic: A Razor-Edged Tool for Drafting and Interpreting Legal Documents | Synapse