Default Predicates for Omitted Clauses Clause Samples

Default Predicates for Omitted Clauses. All clauses of a change contract do not have to be specified, as mentioned in Section 3.1. Default predicates are used for omitted clauses, following the rule described in Table I. \ \ \