RELAX NG implementation of Booleans grammar. Booleans are part of the high-level common sorts. They define the bool sort and related operators over elements of that sort. File name: booleans.rng Version: 2009 (c) 2007-2009 Lom Hillah (AFNOR) Revision: July 2008 - L.H Equality and Inequality are operators. Bool is a built-in sort. BooleanOperator is a built-in operator. BooleanConstant is a built-in constant. A Bool is a built-in sort. The content of BooleanOperator.content is the one of BuiltInOperator.content A Boolean operator is a built-in operator. Its defines known concrete operators. Defines the boolean operator "and". Defines the boolean operator "or". Defines the boolean operator "not". Defines the boolean operator "imply". Defines the boolean operator "equality" which may not necessary have booleans as input Sorts. Defines the boolean function "inequality" which may not necessary have booleans as input Sorts. Declaration of the "true" constant.