1. A method configured for execution by at least one computer processor over a dataset in a data repository, the method comprising: accessing a raw data record in the data repository, wherein the raw data record comprises a first event, wherein the first event comprises at least one predicate and at least one constant symbol that corresponds to the at least one predicate; generating a quantified, abstracted event that is representative of the first event, wherein generating the quantified, abstracted event comprises: using at least one free variable to abstract the predicate; and generating a mapping between the at least one free variable and at least one instance of the at least one constant symbol to quantify the at least one predicate; causing the quantified, abstracted event to be stored as a second data record in the data repository; executing, via the at least one computer processor, a data mining algorithm over the second data record and at least one other data record to determine a correlation between the second data record and the at least one other data record, wherein executing the data mining algorithm comprises comparing the mapping between the at least one free variable and at least one instance of the at least one constant symbol and a second mapping that corresponds to the at least one other data record; and outputting an indication of the correlation between the second data record and the at least one other data record based at least in part upon the comparing between mappings.