{"result":{"text":"left parenthesis p logical and tilde q right parenthesis left right arrow left parenthesis p rightwards arrow q right parenthesis"},"status":"ok"}