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