[EntityiID]
GENI

[SelfReachable]
MIT.student<--James
MIT.student<--Leonard
MIT.student<--Spock
USC.CTFcontestant<--Alice
USC.CTFcontestant<--Bob
USC.CTFcontestant<--Eve
Mike.CTFcontestant<--Beatrice
Mike.CTFcontestant<--Bill
UCLA.ACMofficer<--Mike
MIT.CTFcontestant<--MIT.student
UCLA.CTFcontestant<--UCLA.ACMofficer.CTFcontestant

[PolicyReachable]
GENI.CTFaccess<--ACM.CTFrep.CTFcontestant
ACM.CTFrep<--USC
ACM.CTFrep<--MIT
ACM.CTFrep<--UCLA

[IssuerTracesAll]

[IssuerTracesDef]
CTFrep

[SubjectTraceable]
CTFcontestant
student
ACMofficer

[AccessControl]

[Ack]