skeleton for semantics