Subject	theorem
Predicate	has_property
Object	useful
Modality	Modality Occurrences
Polarity	POSITIVE
Plausibility	0.6717
Neighborhood Sigma	0.6826
Local Sigma	0.6717
Example Sentences	Sentence Occurrences Source theorems are useful 2 Google Autocomplete