英语语法分析

Structural Subtyping (duck typing) using type inference and anonymous types.

使用类型引用和匿名类型的结构子类型转化(动态类型)。

Circle-ellipse problem: Subtyping variable-types on the basis of value-subtypes.

是Subtyping variable - types on the basis of value - subtypes。

It can contain any kind of relationship, including subtyping and many-to-many relationships.

它可以包含任何种类的关系，包括图表类型和多到多的关系。