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