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