O 0 0 + 0 x x + x 0 x + O x O y O + x y + O x I y I + x y + I x O y I + x y + I x I y O + + x y I 0 + x + y z + + x y z - x 0 x - 0 x 0 - O x O y O - x y - O x I y I - - x y I 1 - I x O y I - x y - I x I y O - x y not true false not false true and x true x and x false false if true x y x if false x y y ge O x O y ge x y ge O x I y not ge y x ge I x O y ge x y ge I x I y ge x y ge x 0 true ge 0 O x ge 0 x ge 0 I x false Log' 0 0 Log' I x + Log' x I 0 Log' O x if ge x I 0 + Log' x I 0 0 Log x - Log' x I 0 Val L x x Val N x l r x Min L x x Min N x l r Min l Max L x x Max N x l r Max r BS L x true BS N x l r and and ge x Max l ge Min r x and BS l BS r Size L x I 0 Size N x l r + + Size l Size r I 1 WB L x true WB N x l r and if ge Size l Size r ge I 0 - Size l Size r ge I 0 - Size r Size l and WB l WB r O 1 0 0 + 2 I 1 - 2 1 0 not 1 true 0 false 0 and 2 if 3 ge 2 Log' 1 Log 1 Val 1 L 1 N 3 l 0 r 0 Min 1 Max 1 BS 1 Size 1 WB 1 FULL ./TRS/various/14.trs