[tmql-wg] Re: [topicmapmail] AsTMa! as TMCL

[Kal Ahmed]

On Tuesday 17 December 2002 01:31, Robert Barta wrote:
<snip>
>
> we could write already
>
>    forall $a [ (are-parents-of) ]
>       =3D> exists $a ] (are-parents-of)
>                      parent : *
>                      parent : *
>                      child  : * [ is-reified-by child-has-two-parents
>
> The ][ brackets (anyone with a better symbol?) indicate "that way and
> nothing more". If you want a special syntax, we could extend
>
>    forall $a [ (are-parents-of) ]
>       =3D> exists $a ] (are-parents-of)
>                      parent{2} : *
>                      child     : * [
>
> to be equivalent with child-has-two-parents.
>

Yep, that was exactly the kind of thing I was thinking.

Cheers,

Kal

--=20
Kal Ahmed, techquila.com
XML and Topic Map Consultancy

e: kal@techquila.com
p: +44 7968 529531
w: www.techquila.com