This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
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.
Could you please be specific and indicate which judgment you are referring to.
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.
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
Added explanatory text at end of 2.1.2.