Man so simple! is your solution the same as:
num_provisioned < num_products AND (num_open_issues + num_provisioned+ num_canceled) < num_prods
which is what i finally came up with....