 expresses the result of applying UNIV1 to the property of running. This idea that there is some group of “logical functions” whose repeated application to some other entities yield complex propositions (and relations) is characteristic of what are being called algebraic approaches.