∀x ((Book(x) ∧ WrittenBy(x, cixinLiu)) → ∃y(MoreThan(y, oneMillion) ∧ Sold(x,y)))
∃x (Won(x, hugoAward) ∧ Book(x) ∧ WrittenBy(x, cixinLiu))
∀x ((Book(x) ∧ AboutFuture(x)) → FowardLooking(x))
Book(threeBodyProblem) ∧ ∃x (MoreThan(x, oneMillion) ∧ Sold(threeBodyProblem,x))
AboutFuture(threeBodyProblem)
Won(threeBodyProblem, hugoAward)