overwriting file fixed again
adding basic semantics framework