\(2 \leq i \leq |S|\) なる各整数 \(i\) について \(S_i\) が英大文字であるか判定し、英大文字である場合は \(S_{i - 1}\) が \(T\) に含まれるか判定すればよいです。

\(T\) に含まれているかの判定においてはループを用いてもよいですが、多くの言語では適切な関数を用いることにより明示的にループを書かずに判定することができます。

実装例

#include <bits/stdc++.h>
using namespace std;

int main() {
	string s, t;
	cin >> s >> t;
	bool res = true;
	int n = ssize(s);
	for (int i = 1; i < n; i++) {
		if (isupper(s[i])) {
			if (t.find(s[i - 1]) == string::npos) res = false;
		}
	}
	cout << (res ? "Yes" : "No") << '\n';
}