&define_goal.
{
    canWithdraw(agent=father,object=contract(agent=tarou[age=>19]))}
