Update Defining-Semantics-in-SLIF.md