의미론적 정규 표현식 (SemREs)은 매칭된 구간(spans)에 외부 불리언 술어 (Boolean predicates)를 부착하며, 이로 인해 오라클 호출 (oracle calls)의 횟수와 순차성이 핵심 자원이 됩니다. 고정된 표현식과 단어에 대해, 우리는 멤버십을 다항식 크기의 단조 구간 회로 (monotone span circuit)로 표현하고, 최적의 의미론적 평가를 불리언 결정 트리 (Boolean decision-tree) 평가와 동일시합니다. 우리는 적응성 (adaptivity)의 극한 성능을 점근적으로 날카롭게 결정합니다. 모든 $E \ge 2$에 대하여, 구문 크기가 $Θ(E)$이고 $E$개의 필수 오라클 키를 가지며, 1라운드 비용이 $E$인 단위 길이 의미론적 구간만을 가진 단항(unary), star-free, 의미론적 깊이 1인 인스턴스가 존재합니다. 반면, 이의 정확한 2라운드 및 제한 없는 결정론적 비용은 [ \log_2 E+\tfrac12\log_2\log_2 E+O(1) ] 입니다. 결과적으로, 최적의 선도 상수를 포함한 최대 비적응형-적응형 비율 (nonadaptive-to-adaptive ratio)은 $(1+o(1))E/\log_2E$ 입니다. 두 번째 제한된 군집은 완전한 라운드 계층 구조 (round hierarchy)를 보여줍니다: 이의 최적 $R$-라운드 비용은 $Θ(R E^{1/R})$ 입니다. 따라서 최대 격차는 이미 2라운드에서 나타나는 반면, 다른 인스턴스들은 모든 라운드 예산에 걸쳐 매끄럽게 보간됩니다. 두 구성 모두 로그 길이의 의미론적 구간과 $O(E\log^2 E)$의 총 표현 크기를 가지며, 고정된 알파벳 ${0,1,#}$ 상에서의 단일 술어 실현을 허용합니다. 점별 오차 (pointwise error) $\delta < 1/2$ 및 최악의 경우 기대 비용 하에서, 무작위 비적응형 복잡도 (randomized nonadaptive complexity)는 $E$개의 필수 키를 가진 모든 인스턴스에 대해 정확히 $(1-2\delta)E$ 입니다. 마지막으로, 고정된 단어 $w$와 $h$개의 술어 이름에 대해, 정확한 무작위 미니맥스 (randomized minimax) 값은 $(1-2\delta)h sd(w)$ 이며, 여기서 $sd(w)$는 서로 다른 부분 문자열 값을 계산합니다; 구간 경계 $s$는 $sd(w)$를 $sd_s(w)$로 대체합니다. 이러한 결과들은 의미론적 정보 획득, 병렬 지연 시간 (parallel latency), 그리고 국소적 기호 매칭 비용 (local symbolic matching cost)을 분리합니다.