Jake
definition organisation{ relation user : user relation permissionmatrix: permissionmatrix permission read = permissionmatrix -> read & user permission write = permissionmatrix -> write & user }