Before revision: A relational atom has the form and an equality atom has the form where each of the terms are variables or constants.
After revision: ,A relational atom has the form and an equality atom has the form where each of the terms are variables or constants.