-2. If "John read the book" is true, then
- John read something,
- Someone read the book,
- John did something to the book,
- etc.
+2. If "John read the book" is true, then it follows that:
+ John read something,
+ Someone read the book,
+ John did something to the book,
+ etc.