rt，思路如下：

bool 判断是否成立(int cur){
	函数内容(->cur);
    if(成立)return 1;
    else return 0;
}
int main(){
	int q;cin>>q;
    while(q--){
    	读入L,R,m,n;
        特判;
        bool flg=0;
        for(int i=L;i<=R;i++)
      		if(!判断是否成立(i))
      			{flg=1;break;}
      	if(flg)puts("No");
      	else puts("Yes");
	}
	return 0;
} 

现在的评测结果是这样的：
对于task $L=R$，这样写是能够$AC$的；
反之全是WA？

现在有两个猜想：
A. 可能是我判断的代码有问题；
B. 以上思路出现了根本问题。

鉴于我的判断代码有点玄妙，所以猜想A的判断暂时略去...不过可以确定的是它的确能够通过task $L=R$的数据；现在恳求各位大佬们只需要帮忙看看 猜想B 是否存在问题（大嘘）

非常感谢！