Assertion: launcher's user | /r/HasProperty | directed
Facets:
Source sentences:
text: If the file does not exist, it is corrupt or no user is logged in, the user must enter a valid Premium account, otherwise the user will be directed to play the demo version or buy the game.