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