Our fix is to define the output of the parser to be arg max t (a,i,j)∈t |µ(a, i, j)| rather than arg max t (a,i,j)∈t µ(a, i, j) as defined in Goodman's algorithm.
if a marginal value µ(a, i, j) is negative, we simply replace it with its absolute value.