% a simplification of the preference
% between taxi and other actions 
% take taxi to school 

desire(L):- literal(L).

desire(otaxi).
happen(otaxi, taxi(home, school)).

desire(time).
eventually(time, otaxi).

maximize {satisfy(taxi,0)}.