adjusted truth value for derived goal hm