subject_ss:"Godel's theorem"
author_ss:"Penrose, R."
1.0 = *:*, product of: 1.0 = boost 1.0 = queryNorm