derivation tree