{"result":{"text":"tilde open parentheses Q left right arrow left parenthesis P logical and tilde R right parenthesis close parentheses"},"status":"ok"}