A semi-conditional grammar is very similar to a conditional grammar, and technically the class of semi-conditional grammars are a subset of the conditional grammars.
For two strings xAx', xwx' \in (N \cup T)^{*}, and some rule p = (A \to w, R, Q) \in P, .