 For any predicate \(F\) expressing a property \(p\), and any name \(n\) referring to an \(x\), define the ascription of \(p\) to \(x\) to be the state of affairs expressed by \(\ulcorner Fn\urcorner\). Using this definition, we can replace the schema (2) with the sentence (3).