EMSO is the existential fragment of monadic second-order logic (MSO). It contains all MSO formulas without universal quantifiers.
