Predicate freeze:


Roleset freeze.01 "cause to be frozen":

Roles:

Examples:

Roleset freeze.02 "block":

Roles:

Examples: