All thoroughbred racehorses are Racehorses

TID(s):

Controller: 0.165s

Template: 0.019s

Cost: br=1.0, cc=0.331, ch=0.0, cm=0.0, cm+h=0.0, cr=0.0, cs=8.0, cw=4.0, dr=1709.0, dt=0.509, dw=0.0, gqr=0.0, in=941.0, ir=19.0, iw=0.0, mcs=0.004, mcu=0.05, mr=4.0, nivcsw=49, nreqs=8.0, nvcsw=17.0, pf=0.0, pr=0.0, stime=0.012, te=0.02, tf=0.163, tg=0.155, tm=0.207, tr=0.016, ts=0.0, tu=0.012, utime=0.319, va=2512.0