Assertion: code | /r/HasProperty | written for s runs
Facets:
Source sentences:
text: There are some important differences, but much code written for S runs unaltered under R.