DERIVN

[=derivation]诱导,衍生,导出