DerivedFrom
条件文