Assertion: complement | /r/HasProperty | original problem
Facets:
Source sentences:
text: The complement operation is an involution, meaning it "undoes itself", or the complement of the complement is the original problem.