negatedBodyLiterals

val Clause.negatedBodyLiterals: List<Struct>