Assertion: interface's type | /r/HasProperty | a tty device file
Facets:
Source sentences:
text: Under Unix, devices are files too, so the normal type of file for the shell used for stdin,stdout and stderr is a tty device file.