Assertion: flare | /r/HasProperty | the program
Facets:
Source sentences:
text: In Flare, the program, program data, and ideally the program state, are all represented as well-formed XML.