proposition property

@PropositionConverter() Proposition proposition

Implementation

@PropositionConverter()
final Proposition proposition;