The score results are sorted. Read me updated. Clean code till getPredicated and getLiterals