// design a class dictionary for the following language #owns(#Alice, "Foo.txt"). says #Alice : #good(#Bob). #may_access(p, o) :- #owns(q, o), #blesses(q, p). #blesses(#Alice, p) :- says #Alice : #good(p). #may_access(#Bob, "Foo.txt"). #f :- #g, #h. #g. #h.