Assertion: parameter | /r/CapableOf | pass in logic
Facets:
Source sentences:
text: In logic, the parameters passed to (or operated on by) an open predicate are called parameters by some authors (e.g., Prawitz, "Natural Deduction"; Paulson, "Designing a theorem prover").