Divine v144 Source Corpus
2.3 Asuncion
Asuncion_phi is the state in which neither Function_phi nor Unfunction_phi is instantiated.
Asuncion_phi => not Function_phi AND not Unfunction_phi
Therefore simple propositional negation is broader than Unfunction:
not Function_phi can be satisfied by Unfunction_phi OR Asuncion_phi
Source Canon: Preserved verbatim text. Interactive cross-references and cranial annotations available at /#divine-section:109.