Assertion: class file | /r/HasProperty | compiled on one platform
Facets:
Source sentences:
text: JVMs are available for many platforms, and a class file compiled on one platform will execute on a JVM of another platform.