Assertion: justification | /r/HasProperty | assumed in combinatory logic
Facets:
Source sentences:
text: This is a basic property of justifications assumed in combinatory logic and \(\lambda\)