Inheritance conflict

Inheritance conflict

[Giuseppe Basile]

Hello everybody,

I got a very interesting problem on inheritance conflict.
I would known how is it approached in CLASSIC.

Consider the following definition schema (syntax is no probably
right!):

type adult = {age: integer, child: student}
type student={name: string, college: string, friend: adult}
type employee={name: ext_name, salary:integer, friend: employee}
type ext_name= {frs_name: string, fam_name: string}
type employee_student = student and employee

It defines five types (classes) in which 'string' e 'integer' are base
types. In the last row 'employee_student' inherit from 'student' and
'employee'.

How does CLASSIC resolve inheritance conflict in the schema?
What's the type of name property in 'employee_student' ?

Thanks to all you and to who will contact me with an answer.
(Please, send me a private e-mail, Thanks)
Giuseppe Basile