Aaro: Simple Clauses: Subtypes of Asymmetric Standard Negation: A/NonReal

Local description missing.