( ?Vb $ ?t ' T ) Srfi (tn