Assertion: program | /r/HasProperty | nonfree
Facets:
Source sentences:
text: Otherwise, it is nonfree.