compiler → ReceivesAction → programmed in the coq proof assistant
Typicality: 0.250
Saliency: 0.000
Facets 0
No facets.
Open triples 1
compiler → be programmed in → the coq proof assistant 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 39.141