INSTANCE built_in_function#6; name = "EXISTS"; formal_parameters = [formal_parameter#7]; return_type = simple_type(boolean_type); END_INSTANCE;