Our learning algorithm is similar to LaSO with best-first inference, but the parameter updates are different.
laSO updates parameters when all correct hypotheses are lost, but our algorithm makes an update as soon as the top item from the agenda is incorrect.