connecting constraints with and/or locical operators