Recursive_categorical_syntax