\input{figs/test-constrain}

\[\small
\begin{array}{r@{~}c@{~}l}
\multicolumn{3}{l}{context_1 =}\\ 
\mbox{~~~~~~}&  & apex \in \left\{ - \right\}\wedge 
 plex\in \left\{  -\right\} \wedge
     ltex\in \left\{- \right\} \wedge \\
& & ?pmat\in \left\{-   \right\} \wedge
    ?rely\in \left\{-,+ \right\} \wedge
 ?data\in \left\{  -\right\}\wedge\\
& & ?cplx\in \left\{  +\right\}\wedge
 ?time\in \left\{  +\right\}\wedge
 ?stor\in \left\{  -,+\right\}\wedge\\
& & ?pvol\in \left\{  -,+\right\}\wedge
 ?acap\in \left\{  -,+\right\}\wedge
 ?pcap \in \left\{ -,+\right\}\wedge\\
& & ?tool \in \left\{ -,+\right\}\wedge
 ?sced \in \left\{ - \right\}
\end{array}
\]