is satisfied by

A relation between a Situation and a Description, e.g. the execution of a Plan satisfies that plan.

is satisfied by

A relation between a Situation and a Description, e.g. the execution of a Plan satisfies that plan.