اقول لك ف domains ف حالة avareg و sum و min وهذولا ايش اكتب وف predicates؟