Functional natural language