typed-dimension domain definition has equality definition gen:arc variable set has variable variable:variableArc variable has filter variable:variableFilterArc fact variables in variable set have filter variable:variableSetFilterArc variable set has precondition gen:arc