Re: [mizar] grammatical error in message for error #21

[Adam Naumowicz <adamn@math.uwb.edu.pl>]

On Thu, 1 Feb 2007, Jesse Alama wrote:

> The error message for error code 21 is
>
> "The structure of sentences disagrees the scheme"
>
> That's ungrammatical; the preposition "with" is needed before "the
> scheme" if the verb is "disagree", and in any case "sentences" needs a
> definite article before it.  The error message thus should be
> something like
>
> "The structure of the sentences disagrees with the scheme"
>
> or maybe
>
> "The structure of the sentences does not fit the scheme".

Many thanks for this correction. But I'm afraid there are still more such 
"Pol-glish" examples in the 'mizar.msg' file that should definitely be 
polished - it seems they are there to make the cryptic explanations even 
less informative ;-)

Well, it's great to have English native-speakers among the users - if you 
encounter any other explanations that you find equally unacceptably 
ungrammatical, please let us know ;-)

Best,
Adam Naumowicz

======================================================================
Department of Applied Logic            fax. +48 (85) 745-7662
Institute of Computer Science          tel. +48 (85) 745-7559 (office)
University of Bialystok                e-mail: adamn@mizar.org
Sosnowa 64, 15-887 Bialystok, Poland   http://math.uwb.edu.pl/~adamn/
======================================================================