PropositionExtractionStats

constructor(newCount: Int, mergedCount: Int, reinforcedCount: Int, contradictedCount: Int, generalizedCount: Int)