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