[mizar] grammatical error in message for error #21

[Jesse Alama <alama@stanford.edu>]

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".

Jesse

-- 
Jesse Alama (alama@stanford.edu)
*56: Disagreement of types (http://www.mizar.org)