enumeration_symbol
INSTANCE enumeration_symbol#1;
name = "equivalent";
END_INSTANCE;
INSTANCE enumeration_symbol#2;
name = "frame1_stronger";
END_INSTANCE;
INSTANCE enumeration_symbol#3;
name = "frame2_stronger";
END_INSTANCE;
INSTANCE enumeration_symbol#4;
name = "incomparable";
END_INSTANCE;
INSTANCE enumeration_symbol#5;
name = "boolean_type";
END_INSTANCE;
INSTANCE enumeration_symbol#6;
name = "logical_type";
END_INSTANCE;
INSTANCE enumeration_symbol#7;
name = "number_type";
END_INSTANCE;
INSTANCE enumeration_symbol#8;
name = "integer_type";
END_INSTANCE;
INSTANCE enumeration_symbol#9;
name = "real_type";
END_INSTANCE;
INSTANCE enumeration_symbol#10;
name = "string_type";
END_INSTANCE;
INSTANCE enumeration_symbol#11;
name = "binary_type";
END_INSTANCE;
INSTANCE enumeration_symbol#12;
name = "generic_type";
END_INSTANCE;
INSTANCE enumeration_symbol#13;
name = "indeterminate";
END_INSTANCE;
INSTANCE enumeration_symbol#14;
name = "public";
END_INSTANCE;
INSTANCE enumeration_symbol#15;
name = "protected";
END_INSTANCE;
INSTANCE enumeration_symbol#16;
name = "private";
END_INSTANCE;
INSTANCE enumeration_symbol#17;
name = "friendly";
END_INSTANCE;
INSTANCE enumeration_symbol#18;
name = "boolean_type";
END_INSTANCE;
INSTANCE enumeration_symbol#19;
name = "char";
END_INSTANCE;
INSTANCE enumeration_symbol#20;
name = "byte";
END_INSTANCE;
INSTANCE enumeration_symbol#21;
name = "short";
END_INSTANCE;
INSTANCE enumeration_symbol#22;
name = "int";
END_INSTANCE;
INSTANCE enumeration_symbol#23;
name = "long";
END_INSTANCE;
INSTANCE enumeration_symbol#24;
name = "float";
END_INSTANCE;
INSTANCE enumeration_symbol#25;
name = "double";
END_INSTANCE;
INSTANCE enumeration_symbol#26;
name = "e";
END_INSTANCE;
INSTANCE enumeration_symbol#27;
name = "pi_constant";
END_INSTANCE;
INSTANCE enumeration_symbol#28;
name = "self_constant";
END_INSTANCE;
INSTANCE enumeration_symbol#29;
name = "indeterminate";
END_INSTANCE;
INSTANCE enumeration_symbol#30;
name = "inclusive";
END_INSTANCE;
INSTANCE enumeration_symbol#31;
name = "exclusive";
END_INSTANCE;
INSTANCE enumeration_symbol#32;
name = "discrete";
END_INSTANCE;
INSTANCE enumeration_symbol#33;
name = "continuous";
END_INSTANCE;
INSTANCE enumeration_symbol#34;
name = "greater_first";
END_INSTANCE;
INSTANCE enumeration_symbol#35;
name = "lesser_first";
END_INSTANCE;
INSTANCE enumeration_symbol#36;
name = "lower";
END_INSTANCE;
INSTANCE enumeration_symbol#37;
name = "upper";
END_INSTANCE;
INSTANCE enumeration_symbol#38;
name = "express";
END_INSTANCE;
INSTANCE enumeration_symbol#39;
name = "java";
END_INSTANCE;
INSTANCE enumeration_symbol#40;
name = "positive";
END_INSTANCE;
INSTANCE enumeration_symbol#41;
name = "negative";
END_INSTANCE;