The same is true more generally for certain classes of graphs in which a tree decomposition can itself be described in MSOL.
То же самое верно, в более общем случае, для некоторых классов графов, в которых древесная декомпозиция сама может быть описана в MSOL.