{"result":{"text":"open parentheses p logical and q close parentheses logical and open parentheses tilde open parentheses p logical and q close parentheses close parentheses"},"status":"ok"}