If I change the definition of

file

to be:

definition file {
    relation folder: folder
    relation viewer: user
    
    permission view = viewer + folder->view
}

can I do the action: list all files that a user has

view

permission on and that file is in some specified folder?