In [10], Horn considered sentences, in a first order predicate logic with identity, of the following form:
No takes yet. Share an insight, caveat, or question.
H. Jerome Keisler (1965) studied this question.
Synapse has enriched 3 closely related papers on similar clinical questions. Consider them for comparative context: