Satisfaction Policy

This is a short satisfaction policy that appears on PDPs