The derivations are sampled in a topdown, leftmost order so as to maintain the LFG-DOP derivation order.
the competition sets of composable fragments are computed on the fly during the Monte Carlo sampling process by grouping the f-structure units that unify and that are coherent with the subderivation built so far.