DICE API Documentation/com.embabel.dice.common/PropositionContradicted/new

new

val new: Proposition