Assertion: compiler's source code | /r/AtLocation | file
Facets:
Source sentences:
text: Java source code must be contained in files whose filenames end with the .java extension.
text: The source code for a particular piece of software may be contained in a single file or many files.