tech,18-8-P84-1064,ak | proposition </term> , p , is represented as a <term> | procedure | </term> which tests , scores and aggregates | #15361 In this approach to semantics, the meaning of a proposition, p, is represented as a procedure which tests, scores and aggregates the elastic constraints which are induced by p. |