Subject	theorem
Predicate	has_property
Object	different
Modality	Modality Occurrences some[subj/postulates and] 1
Polarity	POSITIVE
Plausibility	0.7540
Neighborhood Sigma	0.7663
Local Sigma	0.7540
Example Sentences	Sentence Occurrences Source postulates and theorems are different 2 Google Autocomplete theorems are different 2 Google Autocomplete