1600 2005-07-14 23:39:12 +0000 sporadic judgments in ordinary English 2007-01-16 17:26:32 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Last Call drafts PC Windows 2000 CLOSED FIXED P2 minor --- 1 fred.zemke simeon public-qt-comments oldest_to_newest 4676 0 fred.zemke 2005-07-14 23:39:12 +0000 2.1.2 Notations for judgments You should note that there are sporadic judgments expressed in English, probably because the judgment occurs so rarely that it is not worth inventing a symbolism for. 4870 1 simeon 2005-07-19 16:29:41 +0000 Could you please be specific and indicate which judgment you are referring to. 4924 2 fred.zemke 2005-07-19 20:55:39 +0000 Doing an eyeball scan, I found two instances of informal premises: 3.3.3 "Handling dynamic errors", second premise. 4. "Expressions", "Static Analysis", first inference, second premise. There might be a few others. Like I said, this is an infrequent phenomenon and just needs to be documented that a few judgments are given in English because the overhead of defining them formally is not worth it. 5019 3 jmdyck 2005-07-20 19:14:05 +0000 Here's my list: ~ 3.3.3 / -- / rule 1 / premise 2 ~ 4 / STA / rule 1 / premise 2 ~ 4.1.5 / DEv / rule 4 / premise 1 ~ 4.1.5 / DErr / rule 5 / premise 1 ~ 4.14 / DEv / rule 1 / premise 1 ~ 4.14 / DEv / rule 2 / premise 1 ~ 4.14 / STA / rule 1 / premise 2 ~ 4.14 / STA / rule 2 / premise 2 ~ 7.2.5 / STA / rule 1 / premise 1 ~ 7.2.5 / STA / rule 4 / premise 1 ~ 8.1.1 / Sem / rule 4 / premise 1 ~ E.1.4.2 / Sem / rule 2 / premise 2 ~ E.1.4.2 / Sem / rule 2 / premise 4 9154 4 mff 2006-04-11 21:07:15 +0000 Added explanatory text at end of 2.1.2.