Assertion: predicate's property | /r/CapableOf | hold for the monadic second order logic
Facets:
Source sentences:
text: The same property would hold for the monadic second order logic, and with modular quantifiers.