The exported policy definition containing the formal logic rules, variables, and custom variable types.