The idea that the primitives of logicosemantic structure can be reduced to predicate-argument structure, with an openended class of predicates, plus a
universal quantifier.
This being an answer to the question: What is the least that logicosemantic structure can be reduced to, without losing expressive power?
(Was Footnote: --And)