The `mode/2` predicate directive specifies the number of proofs, not the number of solutions, which may not be distinct