iteratable contexts notation added -> ability to define context's reference
  (a,b,c) ias (T) means that all contexts are reference to the same term, by another word they have the same interpretation