base_type ::= "intType" | "realType" | ( "stringType" "[" integer_constant "]" ) | "timeType"
This rule is called by -> atom_class_def
-> atom_class_def