помогите сформулировать goal в прологе

Есть задача
Мери прелестна. Джон добрый. Джон мужественный. Джон сильный.
Некто счастлив, если богатый или нравится женщинам.
Мужчина нравится женщинам, если женщина нравится мужчине и он добрый, либо мужчина добрый и сильный.
Мужчине нравится женщина, если она прелестна.

Сам код:
predicates
m(symbol)
w(symbol)
haract(symbol,symbol)-nondeterm(i,i)
likesM(symbol,symbol)-nondeterm(i,o)
likesW(symbol,symbol)-nondeterm(i,o)
happy(symbol)-nondeterm(i)

clauses
m(джон) .
w(мэри) .
haract(джон, добрый) .
haract(джон, сильный) .
haract(джон, мужественный) .
haract(мэри, прелестна) .

likesM(X,Y):-m(X),w(Y),haract(Y,прелестна) .
likesW(X,Y):-likesM(X,Y),haract(X,добрый) .
likesW(X,Y):-m(X),w(Y),haract(X,добрый), haract(X,сильный) .
happy(X):-haract(X,богатый) .
happy(X):-w(Y),likesW(X,Y).

Помогите составить goal для запроса Найти мужчин, которые могут нравиться женщинам.

код сама писала
Там в задаче вообще 2 вопроса были
Один осилила, а вот этот не могу (