@normalize_types<EOL><INDENT>def UGT(self, o):<DEDENT>
unsigned_bounds_1 = self._unsigned_bounds()<EOL>unsigned_bounds_2 = o._unsigned_bounds()<EOL>ret = []<EOL>for lb_1, ub_1 in unsigned_bounds_1:<EOL><INDENT>for lb_2, ub_2 in unsigned_bounds_2:<EOL><INDENT>if lb_1 > ub_2:<EOL><INDENT>ret.append(TrueResult())<EOL><DEDENT>elif ub_1 <= lb_2:<EOL><INDENT>ret.append(FalseResult())<EOL><DEDENT>else:<EOL><INDENT>ret.append(MaybeResult())<EOL><DEDENT><DEDENT><DEDENT>if all(r.identical(TrueResult()) for r in ret):<EOL><INDENT>return TrueResult()<EOL><DEDENT>elif all(r.identical(FalseResult()) for r in ret):<EOL><INDENT>return FalseResult()<EOL><DEDENT>else:<EOL><INDENT>return MaybeResult()<EOL><DEDENT>
Signed greater than.

:param o: The other operand
:return: TrueResult(), FalseResult(), or MaybeResult()