SMDS -- functions
Type: object |-> type ObjectWithFeatures: f |-> { o | object o contains f } ObjectWithFeaturesAndAttributes: (f,a,v) |-> { o | o contains f with a=v } FeaturesInObject: o |-> { f | o contains f } FeaturesAndAttributesInObject: o |-> { (f,a,v) | o contains f with a=v }