A Maths_boolean is a Maths_atom that is a Boolean value.
NOTE - For efficiency Maths_atom is a TYPE rather than and ENTITY in the EXPRESS. Hence Maths_boolean is referenced by Maths_atom rather than a SUBTYPE of Maths_atom.
EXPRESS specification:
*) TYPE Maths_boolean = BOOLEAN; END_TYPE; (*