Title: Syntactic simplification
Subjects: Comparative and general Grammar, Recursive functions, Symbolic and mathematical Logic, Syntax