claims

The logical statements that are validated while assuming the policy and premises.