{"result":{"text":"open parentheses p logical and q close parentheses rightwards arrow open parentheses q logical and p close parentheses"},"status":"ok"}