Implication representation