Added Ideal Semantics in User interface

Ideal added and works.