Consider the following premises. Q_20(a_10). forall x_20: T(x_20) or ~Q_20(x_20). Can we infer exists x_20: T(x_20) or Q(x_20) from them?
 From forall x_20: T(x_20) or ~Q_20(x_20) we can infer forall x_20: Q_20(x_20) -> T(x_20). From Q_20(a_10) we can infer exists x_20: Q_20(x_20). From forall x_20: Q_20(x_20) -> T(x_20), exists x_20: Q_20(x_20) we can infer exists x_20: T(x_20). Finally, from exists x_20: T(x_20) we can infer exists x_20: T(x_20) or Q(x_20). Therefore, the answer is yes.