Assertion: logic | /r/CapableOf | employ a dual-domain semantics
Facets:
Source sentences:
text: Such logics may employ a dual-domain semantics in which the referents of empty functional expressions such as ‘1/0’ are regarded as error objects—objects that correspond in the running of a program to error messages.