For all assignments \(a\), terms \(\tau\), and   sentences \(\phi\),   \(\cq{\tau \text{ is a large } \phi }\)  is satisfied by \(a\) iff Ref(\(\tau\), \(a\))  is a large satisfier of \(\phi\) on \(a\). (cf. Evans 1976,  203)