W in Wordlist, length(W,10), maplist(\L^memberchk(L,W),[a,b,c]), nth(10,W,k).
(findall(C,member(L,W),S),length(S,1))