Query failed: ERROR: syntax error in tsquery: "tk!solver <-> (computer <-> program)"