grapes-holds_in-grapes function

Implications that hold in a Formal Context