differenceFromADTS
P173167
predicate
Indicates a relationship where one entity differs from another in terms of its Abstract Data Type Specification (ADTS), highlighting deviations in defined structure, behavior, or interface.