Fundamental Questions

• Can we make it easier for people to write the necessary semantics without understanding logic?
        F(x,do(a,s)) ≡ ϒ_F⁺(x,a,s) ∨ (F(x,s) ∧ ¬ϒ_F^-(x,a,s)
• Can we make Business Semantics that handle business interests as well as common concepts such as opening hours and delivery specifications?
• Can there be semantics that will be reused for integrating different applications, and be a real Software Engineering technology.