subject_ss:"Godel's theorem"
classification_ss:"Nat B 72"
1.0 = *:*, product of: 1.0 = boost 1.0 = queryNorm