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