T entails H if the meaning of H can be inferred from the meaning of T, as would typically be interpreted by people."
sentence (4.a) is still part of a coherent discourse, as a role filler for the omitted argument can be inferred from the preceding context.