4lang Definition "deformalization" - translation

[HMRLKE]

I am wondering whether 4lang formal definitions (e.g. "=pat[, ], =agt cause =pat[hard]"__) can be deformalized or translated to e.g. english sentences (like "one can bake bread"+"one can bake cake"+"once the bread is baked it becomes hard", etc. ? (I hope for a solution where the developer must not write the rules by his own :) )

If so, which method/tool do you recommend for such deformalization/translation?

[kornai]

Dear HMRLKE the goal is the opposite, to provide formal definitions. For an informal definition, one can just look up "bake" in any traditional dictionary