4
Fragments
•MSO =  X1, … Xm are all unary relations
• 9 SO = Q1, …, Qm are all existential quantifiers
• 9 MSO = [ what is that ? ]
• 9 MSO is also called monadic NP
•