Assertion: classical logic | /r/CapableOf | accomodate function symbols
Facets:
value: for partial functions
type: PURPOSE
value: via elaborate contextual definitions
type: MANNER
Source sentences:
text: Classical logic can accomodate function symbols for partial functions via elaborate contextual definitions.