Imonda: Simple Clauses: Subtypes of Asymmetric Standard Negation: A/Fin and A/NonReal

Local description missing.