jvixi'a lujvo

xi1 is a racehorse of breed xi2 competing in race j3.