(lambda(kb)(printerrors(syntax(head kb))))