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?

[--And]