• abstract algebra (functional language)

  • -- added pipelining semantics (distributed processing)

  • -- added transformer component

  • explicit understanding of time

  • -- and of time patterns (every Tue 12:00 in June)

  • add unit handling

  • -- understands physical dimensions

  • can deal with data (Duh!)

  • -- but also "meta data", with or without background ontology