One way of implementing this retreat to a semantical plane would be to interpret Quine's criterion as the following schema (with ‘K’ now a schematic letter ranging over predicates of the object language):