The sale was made to pay Yukos' US$ 27.5 billion tax bill, Yuganskneftegaz was originally sold for US$ 9.4 billion to a little known company Baikalfinansgroup which was later bought by the Russian state-owned oil company Rosneft .
The sale did not raise enough funds to pay the entire tax bill.
The sale was for 9.4 billion, but his tax bill was 27.5 billion. That is not enough to pay for the entire expense.  The system was likely confused by the math computation.
( z1 raise :polarity - :ARG0 ( z2 sell ) :ARG1 ( z3 fund :ARG1-of ( z4 have-quant :ARG3 ( z5 enough ) :ARG6 ( z6 pay :ARG0 z2 :ARG3 ( z7 bill :mod ( z8 tax ) :mod ( z9 entire ) ) ) ) ) )