Assertion: video | /r/HasProperty | exported as avi
Facets:
Source sentences:
text: Videos can be exported as WMV, AVI, MPEG4, WebM, and SCORM