{
    "id": "937087b6-f668-4ba6-9110-60682ee33441",
    "snapshot": "vlc",
    "instruction": "I am currently using a ubuntu system. Could you help me set the default video player as VLC?",
    "source": "https://superuser.com/questions/187440/set-default-ubuntu-video-player-as-vlc",
    "config": [],
    "trajectory": "trajectories/",
    "related_apps": [
        "vlc",
        "os"
    ],
    "evaluator": {
        "func": "check_include_exclude",
        "result": {
            "type": "default_video_player"
        },
        "expected": {
            "type": "rule",
            "rules": {
                "include": [
                    "vlc.desktop"
                ]
            }
        }
    }
}