CYK parsing seems work