|> package:speculate

Strict order between expressions as defined in TRAAT p103.
s > t iff |s| > |t| and , for all x in V, |s|_x > |t|_x
This is perhaps the simplest order that can be used with KBC.