baz bishop - 2008-09-26

Perhaps anonymous ID types should not even be getting as far as the underlying reasoner.
At this point, it is impossible for IRIS to know the context of a numbered anonymous ID and so it is not possible to correctly create an appropriate IRIS term (IRIS would not know when to create two terms with the same value if they occur in the same logical expression).