Translate Policy Into Checkable Conditions