inference rule 0.00275872
inference rules 0.00260339
inference time 0.0020977500000000002
textual inference 0.001967786
new inference 0.001943358
probabilistic inference 0.001908572
inference systems 0.0019074530000000001
logical inference 0.0018121920000000002
logic inference 0.0018085420000000002
clause inference 0.0018059830000000002
efficient inference 0.001804206
inference speed 0.0017974900000000001
total inference 0.001780584
inference steps 0.0017799790000000001
other rules 0.001771402
scale inference 0.001770754
assumptions inference 0.001768496
scalable inference 0.0017641330000000002
independent inference 0.001759334
tic inference 0.0017522560000000002
transitive inference 0.001741342
scaling inference 0.001741004
abilistic inference 0.001734305
sitional inference 0.001732054
lazysat inference 0.001732054
inference 0.00151704
rule weights 0.001502888
simple rules 0.001474108
datalog rule 0.001467443
rule bodies 0.001460771
rules holmes 0.00143157
textual relations 0.0013512749999999999
independent rules 0.001328644
monotone rules 0.001327561
ence rules 0.001324482
ference rules 0.001307127
binary relations 0.001219874
following set 0.001211569
apf relations 0.0011801329999999999
relations head 0.001174254
web corpus 0.0011364209999999999
relations textrunner 0.001129148
relations inweb 0.001119215
textual entailment 0.0011161909999999999
other knowledge 0.001113887
compact set 0.001099792
many ground 0.001087987
rules 0.00108635
other sets 0.0010626350000000001
textual corpus 0.001056401
entailment systems 0.001055858
other domains 0.001047689
binary relation 0.001047386
probabilistic model 0.001038851
web text 0.001010678
database query 0.001008621
apf relation 0.001007645
diverse set 0.0010020370000000001
large number 9.982749999999999E-4
work textual 9.92115E-4
precise set 9.86154E-4
same concept 9.853090000000002E-4
previous work 9.67575E-4
such systems 9.60383E-4
several domain 9.45571E-4
large sets 9.44649E-4
input corpus 9.39138E-4
ground knowledge 9.36279E-4
model construction 9.34746E-4
information extraction 9.33683E-4
time holmes 9.259299999999999E-4
different types 9.23972E-4
linear number 9.19442E-4
relational learning 9.12714E-4
names problem 9.12148E-4
many proof 9.09721E-4
polynomial time 9.09329E-4
query evaluation 9.08231E-4
corpus size 9.08015E-4
relations 9.00529E-4
example query 8.96517E-4
simple ground 8.95202E-4
run time 8.858E-4
future work 8.82763E-4
entailment tech 8.81796E-4
many theorem 8.78557E-4
example queries 8.7538E-4
graphical model 8.74957E-4
large factor 8.71698E-4
holmes output 8.689659999999999E-4
tion system 8.63939E-4
further work 8.61226E-4
many cases 8.59506E-4
different pages 8.58894E-4
ground forest 8.53124E-4
tial function 8.48008E-4
ground trees 8.473619999999999E-4
ing extraction 8.43658E-4
distinct ground 8.42586E-4
ground assertions 8.400770000000001E-4
