Progol eliminated.
ILP systems updated.
Semantics completed.
Other constructions updated.'
Removed the first-order conjecture.
Multiplicity of clauses in a hypotheses.
Multiplicity of clauses in a hypothesis.