%% does not want to take taxi 

desire(L):- literal(L).

desire(otaxi1).
happen(otaxi1, callTaxi(home, paymeter)).

desire(ntaxi1).
isnegation(ntaxi1, otaxi1).

desire(otaxi2).
happen(otaxi2, callTaxi(home, payflat)).

desire(ntaxi2).
isnegation(ntaxi2, otaxi2).

desire(ntaxi).
isand(ntaxi, ntaxi1, ntaxi2).

desire(d2).
always(d2, ntaxi).

maximize {satisfy(d2,0)}.