Constraint that returns true if two concept instances can be converted to each other: both instances have the same concept type (for example, they are both Business concepts), or if one is a sub-type of the other. For example, if Restaurant extends Business, then a Business and a Restaurant are convertible types. A Restaurant and a MovieTheater that both extend Business are not convertible types: they have no inheritance relationship between one other.
structure (Restaurant) {
...
equivalence: optimistic-join {
convertible-concepts
equivalent-values (name)
equivalent-values (address)
}
}Copyright 2026 Samsung All rights reserved