Model theory for b-nodes [was: Re: reification test case]

At 11:15 04/02/2002 +0200, Patrick Stickler wrote:
[...]

>If the MT is really saying that _:B is a girl,
>then there seems to be a problem with the MT.

That being the case, please can we change the subject line and open up a 
new thread on this question.

Brian

Received on Monday, 4 February 2002 08:07:10 UTC