1936 33 703 A sentence-token is a particular set of particular symbolic marks (of a sort, let us say, to represent a complete assertion).
1976 A. N. Prior i. 35 We may say at once that the dominant tendency in Logic is for the term ‘proposition’ to be used not for a ‘sentence-token’ but for a ‘sentence-type’.