Assertion: animated cursor | /r/HasProperty | saved in file
Facets:
value: with extension
type: OTHER
Source sentences:
text: The animated cursors are saved in files with extension .ANI.