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 }