Assertion: applet's size | /r/HasProperty | encoded in the source code
Facets:
value: above)
type: OTHER
value: for the applet
type: TRANSITIVE-OBJECT
Source sentences:
text: This size is encoded both in the source code for the applet (above) and in the HTML that describes the entire Web page.