grapes-respects-grapes function

Check if Set or FormalContext respects an ImplicationSet