Quantification of free variables in CIL

 Let $T(X)$ be a CIL term in which the variable primitive $X$ occurs (as an argument to a $comb_s$ substerm).  What is then the analogue of $\exists X. T(X)$ ? This must be a term of the form $log^\exists_s T'$ where $X$ does not occur in $T'$. The problem is the determine $T'$ given $T(X)$. Take the case of $T(X) := comb_{(0)} S^{(1)}\,X$. Then $T'$ is $S$ itself and we get $log^\exists_{(1)} S$. In general given the concept-graph of $T(X)$ we take the $X$-nodes and pull them to the bottom of the graph as open nodes then link them together. Then we apply $log^\exists$.