forall(Condition, Action) checks that for all alternative bindings of Condition, Action can be proven.
The semantics is the same as:
forall(Condition, Action) :- \+ (Condition, \+ Action).