Reading and infer statements