Subject proof
Predicate be used in
Object real life
Modality
Modality Occurrences
Polarity POSITIVE
Plausibility 0.3260
Neighborhood Sigma 0.3643
Local Sigma 0.3544
Example Sentences
Sentence Occurrences Source
proofs are used in real life 2 Google Autocomplete