[updated 2010-12-06] 1. There was no intention to introduce a machine-executable formalism for Test Assertion predicates. It was intended that there be no difference between the TA model and the TA markup in this respect. The TA Markup Language is for carrying the test assertion in an XML markup structure, but not to require any formalization nor require machine interpretation. In particular, satisfaction of the predicate may require human action and inspection, so the statement of the predicate will often be intended as a human-readable prescription, even if it appeals to a mechanized or programmed verification procedure. However, the optional lg attribute (for "language") on the taml:predicate element is provided for the identification of special formalisms, thereby providing for machine-interpretable predicate notations when that is desired. 2. Dennis Hamilton will respond to the commenter and convey our thanks for the question and our response.