Fixed Instance Expressions, started Semantics