disambiguating tribool

xx < inderminate_, indeterminate_ > is ambiguously reached by x < A_, indeterminate_ > 
and xx < inderminate_, B > i