(((cat or dog) or horse) and frog)