Assertion: command's file | /r/HasAspect | no stack segment
Facets:
Source sentences:
text: The file must also have no stack segment.