T=d ld li f mf gi cd cf cld
V=x,y
R=-6,6,1
F=((x+4+y) <= 6)
C=fp_lessOrEq(x+4+y, 6)
