Formal Semantics of Sign Languages