Assertion: applet's file | /r/HasProperty | applet
Facets:
Source sentences:
text: The file Welcome.java is an applet.