00-- 01 02 03 04 class agent expanded deferred redefine inherit attribute insert loop from until create feature do end alias notes once like external frozen INTEGER INTEGER_8 INTEGER_16 INTEGER_32 INTEGER_64 NATURAL NATURAL_8 NATURAL_16 NATURAL_32 NATURAL_64 REAL REAL_32 REAL_64 BOOLEAN CHARACTER STRING + - * = / /= // \\ \ < > <= >= := and or xor "and then" "or else" implies if then and then elseif else end require require else ensure ensure then invariant old check