Natural Semantics Derivation Tree