This gives rise to a score s B (b) = φ B (b) θ that depends on the semantic function only.
we can sort B before parsing, so that when the function f is called, we do not need to instantiate the derivations.