proof → ReceivesAction → formalized
Typicality: 0.335
Saliency: 0.201
Facets 1
completely 2 degree
Open triples 2
proof → be → formalized 6
proof → be → formal 3
Sentiment analysis
negative neutral positive
0.137 0.751 0.112
Other statistics
Raw frequency 9
Normalized frequency 0.201
Modifier score 0.500
Perplexity 144.809