In effect, this scoring mechanism favors trees with low word order cost and large semantic coverage.
does it ensure that the generated queries respect the strict total order of the query tree linearisation ?