这种省略由文字的析取作为一个子句必须使所有变量被全称量化的事实来证实。在子句是有效的或被查实有效性的情况下，这个全称量化也暗含了这个语义。但是，满足性定义假定了自由变量要被存在量化，所以这种量词省略被接受为约定而不是如何处理自由变量的语义的结论。在逻辑编程中，子句通常被写为从体部到头部的蕴涵。在最简单的情况下，体部是文字的合取而头部是一个单一的文字。更一般的，头部必须是文字的析取。如果 formula_16 是在子句体中的文字而 formula_17 是子句头中的文字，则子句通常写为: