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