... <constraints nbConstraints="1">
<constraint name="goal" arity="4" scope="W X Y Z" reference="myP">
<parameters> W X Y Z </parameters>
</constraint>
</constraints>
<quantification nbBlocks="3">
<block quantifier="exists" scope="W X">
<constraint name="restr1_c1" arity="2" scope="W X" reference="sum_lt">
<parameters> W X 8 </parameters>
</constraint>
<constraint name="restr1_c2" arity="2" scope="W X" reference="sub_gt">
<parameters> W X 2 </parameters>
</constraint>
</block> <block quantifier="universal" scope="Y">
<constraint name="restr2_c1" arity="2" scope="W Y" reference="neq">
<parameters> W Y </parameters>
</constraint> <constraint name="restr2_c2" arity="2" scope="X Y" reference="neq">
<parameters> X Y </parameters>
</constraint>
</block> <block quantifier="existential" scope="Z">
<constraint name="restr3_c1" arity="3" scope="W Y Z" reference="sub_gt">
<parameters> W Y Z </parameters>
</constraint>
</block>
</quantification >
</instance>
Figure 11: A QCSP+ instance (continued)