state2imp function

Transformation from Knowledge States to Implications