Construction and Evaluation of a Gold Standard Syntax for Formal Logic Formulas and Systems