inference rule 0.003857011
entailment rule 0.003768409
rule set 0.0037467250000000002
rule structure 0.0036236000000000003
same rule 0.0035975770000000002
single rule 0.003459804
rule types 0.003431807
various rule 0.0034052600000000002
rule applications 0.003398524
tion rule 0.003397976
explicit rule 0.003366575
rule type 0.003360163
rule forms 0.00335203
independent rule 0.003335226
rule application 0.003335204
substitution rule 0.00333067
small rule 0.003323855
individual rule 0.0033133249999999998
rule matches 0.003312939
able rule 0.0033093940000000002
rule base 0.003295623
paraphrase rule 0.003292534
sive rule 0.0032852330000000003
rule bases 0.003284001
duction rule 0.003276567
redundant rule 0.003275838
rule appli 0.003273528
matched rule 0.003272761
extensive rule 0.003271354
rule applica 0.003271066
rule chaining 0.003269695
tailment rule 0.003268395
canonical rule 0.003268395
tution rule 0.003268395
inference rules 0.003165191
entailment rules 0.003076589
matching rules 0.002772717
generic rules 0.002766836
lexical rules 0.00268993
ment rules 0.002674672
independent rules 0.002643406
substitution rules 0.00263885
annotation rules 0.0026333249999999997
app rules 0.0026206249999999997
rules app 0.0026206249999999997
transfer rules 0.0025883729999999997
tation rules 0.0025818869999999997
introduction rules 0.0025768749999999997
notation rules 0.0025768749999999997
tree nodes 0.0023595680000000003
rules 0.00231644
source tree 0.002242409
same tree 0.002151347
parse tree 0.002150645
single tree 0.002013574
tree transformations 0.001892879
embedded tree 0.0018853210000000001
target node 0.001874299
tree generation 0.001867427
separate tree 0.001840075
whole tree 0.0018265010000000001
sequent tree 0.001822134
node set 0.001788815
forest nodes 0.0017335599999999999
source node 0.001730729
such inference 0.00164985
other node 0.001635502
target nodes 0.001621487
source forest 0.001616401
entailment inference 0.0016089
machine translation 0.0015449069999999999
such set 0.001539564
parse forest 0.0015246370000000001
matching node 0.001506627
single node 0.0015018940000000001
new node 0.001499672
forest data 0.0014901720000000001
source nodes 0.001477917
chine translation 0.0014619079999999998
only node 0.001429603
target language 0.0014031080000000001
maximal node 0.001371096
forest size 0.001370721
initial forest 0.0013666799999999999
compact forest 0.0013646230000000001
node count 0.00135149
inference algorithm 0.0013394449999999999
gray node 0.00133179
rte system 0.0013298530000000002
same set 0.001327782
semantic inference 0.0013102180000000001
generic inference 0.001299147
source sentence 0.001290946
corpus entailment 0.001287543
inference research 0.001286012
compact inference 0.001277352
inference framework 0.001272476
efficient inference 0.00127012
forest root 0.001267333
dependency trees 0.001260737
