Assertion: different format | /r/HasProperty | likely ones
Facets:
Source sentences:
text: DAT files that are video files can be opened in the video editing software that created it, and then exported or saved as a different format, likely ones like MP4, AVI, WMV, or FLV.