Tag: Business planning using second-order logic