4
Fragments
•
MSO =
X
1
, … X
m
are all unary relations
•
9
SO =
Q
1
, …,
Q
m
are all existential
quantifiers
•
9
MSO = [ what is that ? ]
•
9
MSO is also called
monadic NP
•