Thiuas: Simple Clauses: Symmetric and Asymmetric Standard Negation: Asymmetric

Local description missing.