Assertion: file | /r/HasAspect | appropriate extension name
Facets:
Source sentences:
text: Sometimes a program may not care whether the file has the appropriate extension name because it can examine the bits in the file to see whether the format (layout) is one it recognizes.