It is therefore necessary to translate a query into an equivalent MONA formula that re-spects the translation of the trees.
hence a corpus provider could at least in theory provide his corpus as a collection of MONA automata.