goal directed inference