L0 = <http://www.simantics.org/Layer0-1.0>

Foo <T L0.Entity
    >-- Bar --> Foo   <R L0.IsRelatedTo
        : L0.FunctionalRelation