{"result":{"text":"open curly brackets open parentheses p rightwards arrow q close parentheses logical and open parentheses q rightwards arrow r close parentheses close curly brackets rightwards arrow open parentheses p rightwards arrow r close parentheses"},"status":"ok"}