This second statement is an inference, since it cannot be verified.
⇑ Translate the sentence above by Google ⇑
Related: inference
Prev: Even with type inference, redundant type information is needed.
Next: An Exploration of the Basic Theory of Children's Inductive Inference.
