Assertion: context | /r/HasProperty | sensitive grammar g
Facets:
Source sentences:
text: For any language L which is generated by a context sensitive grammar G, there exists a noncontracting grammar G' which generates language L.