Hello Lars, yeah me again :-) Just a tiny little thing. At line 182 tmcl:topic-reifies-constraint plays-role(tmcl:constrains, tmcl:constrained-statement, 0, 1). the card-min is meant to be 0? Michael