Find!
x1, which is a document/spoken thing/whatever, proves theorem/predicate x2 and involves logical/knowledge domains x3.