Translating natural language into the formal notation of sentential logic, including necessary & sufficient conditions, and recursively structured compound statements.