Assertion: linear logic | /r/HasAspect | contraction
Facets:
value: for formulae of the form
type: OTHER
Source sentences:
text: Linear logic also has contraction for formulae of the form !