Lifted Logic Pats