Relation ENFORCES

This is for the making something applicable (constraining the application of a regulation on a domain).

Arity: 2

Subrelation-Of: Pseudo-actor-of

Axioms:

(=> (Enforces ?A ?B)
    (Exists (?C) (And (Performs ?A ?C) (To-Actor ?C ?B))))

• Defined in theory: Actors
• Source code: Actors.lisp