View Source Retex.Why (retex v0.1.9)
Why a rule was activated?
Use this module passing the conclusion of a rule and it will tell you why it was activated
Why a rule was activated?
Use this module passing the conclusion of a rule and it will tell you why it was activated