Assertion: video | /r/HasProperty | compressed by divx
Facets:
Source sentences:
text: For example, an AVI file can contain video compressed by XviD, or DivX, or MPEG-2 codecs.