PropositionExtractionStats

data class PropositionExtractionStats(val newCount: Int, val mergedCount: Int, val reinforcedCount: Int, val contradictedCount: Int, val generalizedCount: Int)

Statistics about proposition revision outcomes.

Constructors

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

Number of propositions that contradicted existing ones

Number of propositions that generalized existing ones

Number of propositions that were merged with existing identical ones

Number of propositions that were new (not similar to existing)

Number of propositions that reinforced existing similar ones

Total number of propositions processed