Characteristic predicate Literals::AllLiteral::AllLiteral

AllLiteral()