The described implementations relate to processing of electronic data. One implementation is manifested as a technique that can include receiving an input statement that includes a plurality of terms. The technique can also include providing, in response to the input statement, ranked supporting documents that support the input statement or ranked contradicting results that contradict the input statement.