proof → ReceivesAction → expressed in first-order logic
Typicality: 0.250
Saliency: 0.000
Facets 0
No facets.
Open triples 1
proof → be expressed in → first-order logic 3
Sentiment analysis
negative neutral positive
0.140 0.628 0.232
Other statistics
Raw frequency 3
Normalized frequency 0.000
Modifier score 0.500
Perplexity 17.435