1987, Imre Ruzsa, Anna Szabolcsi, Proceedings of the '87 Debrecen Symposium on Logic and LanguageIn general, the expression in focus is a predicate, which applies to something which is defined by the cofocus.
2000, Andrew M. Devine, Laurence D. Stephens, Discontinuous Syntax: Hyperbaton in Greek (page 52)Not all cofoci are presuppositions; sometimes the cofocus is new information "accommodated" to the common ground which is introduced as though it were presupposed...