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