compiler → HasA → a proof of total correctness
Typicality: 0.250
Saliency: 0.000
Facets 0
No facets.
Open triples 1
compiler → have → a proof of total correctness 3
Sentiment analysis
negative neutral positive
0.015 0.737 0.248
Other statistics
Raw frequency 3
Normalized frequency 0.000
Modifier score 0.500
Perplexity 164.946