Maybe something like
lt(a,b) lt(b,c) ... end
Or ... might be a statement on a new line
lt(a,b) lt(b,c) :s(d)f(end) d ... end
Maybe something like
where ... is optional rest of statement that only gets executed if a < b < c.Or ... might be a statement on a new line