Assertion: order predicate logic | /r/HasProperty | mso
Facets:
Source sentences:
text: Monadic second-order logic (MSO) is a restriction of second-order logic in which only quantification over unary relations (i.e. sets) is allowed.