Assertion: negation | /r/CapableOf | form so-called galois connection
Facets:
Source sentences:
text: The two negations form a so-called Galois connection, which means that \(A