identify which two expressions are being used by their numbers. write out the two complimentary literals (before unification) which are being resolved