Homework: Answer the following true or false and if false explain why

Canexec(John, open homework assignment) = true/false ?

Canexec(Stephan, open plans for project A) = true/false ?

Canexec(Olivia, open homework assignment) = true/false ?

Canexec(Ivan, code set A) = true/false ?

Canexec(Sam, status project A) = true/false ?

Canexec(Lisa, code set A) = true/false ?

Details:

rans(r): the set of files someone can read in role r

trans(professor) = {grading sheets, class list, homework assignments, turned in homework}

trans(student) = {homework assignment, class videos, graded homework}

trans(dean) = {homework assignment, class videos}

trans(CTO) = {plans for project A, plans for project B, hiring plans, code, engineering salaries, project A status, project B status}

trans(programmer in group A) = {code set A, plans for project A}

trans(programmer in group B) = {code set B, plans for project B}

trans(tech lead in group A) = {code set A, plans for project A, project A status}

trans(tech lead in group B) = {code set B, plans for project B, project B status}

trans(CEO) = {hiring place, engineering salaries, project A status, project B status}

actr(s) role subject s is in at the current time (now)

Actr(Stephan) = professor

Actr(Olivia) = dean

Actr(John) = student

Actr(Sam) = CEO

Actr(Lisa) = tech lead in group B

Actr(Ivan) = programmer in group A

Authr(s) is the set of all possible roles that subject s can take

Authr(John) = {student}

Authr(Stephan) = {CTO, Professor}

Authr(Olivia) = {student}

Authr(Sam) = {Tech lead in group A, programmer in group A)

Authr(Lisa) = {tech lead in group B, programmer in group B)

Authr(Ivan) = {programmer in group A)