Before revision: Chris Collins and Paul Postal define rules that Horn clauses must abide by a few rules: 1.
After revision: Chris Collins and Paul Postal define rules that Horn clauses must abide by a few rules: