Name: implies
Description: Boolean implication
Parameters: implies(par1, par2)
Example: x->piecewise { implies(x<0, x<3) ? 1, ? 0 }