http://www.estrellaproject.org/lkif-core/norm.owl#Permission
Class norm:Permission
Annotations
rdfs:comment
Permission allows propositions, to which therefore the predication Allowed applies. The thing(s) allowed is/are a subset of the thing(s) qualified by the permission. If S then P(A) means that S is qualified and S and A is allowed.