On dependence of rational points on elliptic curves

Let $E$ be an elliptic curve defined over $\mathbb{Q}$. Let $\mathrm{\Gamma }$ be a subgroup of $E(\mathbb{Q})$ and $P\in E(\mathbb{Q})$. In [1], it was proved that if $E$ has no nontrivial rational torsion points, then $P\in \mathrm{\Gamma }$ if and only if $P\in \mathrm{\Gamma }$ mod $p$ for finitely many primes $p$. In this note, assuming the General Riemann Hypothesis, we provide an explicit upper bound on these primes when $E$ does not have complex multiplication and either $E$ is a semistable curve or $E$ has no exceptional prime.