[sc34wg3] New syntax for (binary) associations

[Robert Barta]

On Sat, Feb 02, 2008 at 11:15:51AM +0100, Robert Barta wrote:
> I have experimented with the following, without using a template, but
> to deal with proper role names:

[...]

>    rho employee_works-for_employer are .      # the _ separates role from type
> 
> Nothing really convincing.

Before I forget: One thing I also had tried in the past is to treat
the association type as 'derived', i.e. derived from the combination
of roles:

   rho employee_employer arcs .

The AsTMa processor would produce

   tm:subject (employee: rho, employer: arcs) .

and it were later the task of TMCL or a TMOL (future TM ontology
language) to say:

   # whenever there is THIS combination
   * (employee: $a, employer: $b) 
     # then this is THIS assoc type
     => is-employed-by (employee: $a, employer: $b)

   is-employed-by
   ! "is employed-by" @ employee
   ! "employs" @ employer

\rho