prolog - 非決定論的述語の Prolog 単体テスト

Question

http://www.swi-prolog.org/pldoc/doc_for?object=section%28%27packages/plunit.html%27%29の Prolog Unit Tests を使用しようとしています。 非決定論的述語の例を示していますなので

test(member, all(X == [a,b,c])) :-
    member(X, [a,b,c]).

リストX == [a、b、c]のすべての要素をテストし、リスト[a、b、c]にあるかどうかをテストするだけだと思います。しかし、なぜ

test(member, all(X == [a,b,c])) :-
    member(X, [a,b,c,d]).

レポートwrong "all" answer:？