(#x:left  > #x:right)