Natural Semantics Derivation Examples