reduction constraint 0.001417124
reduction constraints 0.001389152
constraint language 0.001382265
binding function 0.0012739259999999999
new constraint 0.00126696
constraint graph 0.001241732
model struc 0.001218377
function symbols 0.001217159
other node 0.0012150009999999998
tree descriptions 0.001213109
new rules 0.001181005
correspondence function 0.001171016
reduction relation 0.001158644
binding constraints 0.0011581920000000002
spondence function 0.001154532
tree segments 0.0011489059999999999
dominance constraints 0.0011389
distribution rules 0.001135412
new algorithm 0.001125217
constraint graphs 0.001113053
possible positions 0.001086779
new variable 0.0010813420000000001
constraint lan 0.0010808389999999999
tree seg 0.001079203
gument tree 0.001079203
middle constraint 0.001078397
constraint solver 0.001076973
our constraint 0.001074034
following form 0.0010691610000000001
copies constraints 0.0010675390000000002
scope interact 0.001061516
ing relation 0.0010555859999999999
single variable 0.001054597
possible choice 0.00105394
possible saturations 0.00105394
single reduction 0.001052847
basic constraints 0.001042294
problematic constraints 0.001039232
constraints correspondences 0.001039232
lelism constraints 0.001039232
propagation rules 0.00103232
saturation rules 0.00102195
root variable 0.001018706
variable binding 0.0010005460000000002
reduction con 9.99865E-4
core rules 9.80808E-4
correct reduction 9.66721E-4
reduction steps 9.59684E-4
single node 9.50312E-4
reduction step 9.46861E-4
next reduction 9.46758E-4
entire set 9.366890000000001E-4
rule system 9.350630000000001E-4
input sentence 9.319090000000001E-4
redex variable 9.260430000000001E-4
finite set 9.186960000000001E-4
parallelism relation 9.070230000000001E-4
reduction rela 9.05962E-4
labeling relation 9.00444E-4
variable assignment 8.91944E-4
model 8.9007E-4
function 8.90008E-4
beta reduction 8.88738E-4
node labels 8.866669999999999E-4
structure iff 8.82784E-4
unique node 8.82629E-4
reduction operation 8.7852E-4
new root 8.66792E-4
many readings 8.61868E-4
many examples 8.61358E-4
previous work 8.50024E-4
saturation rule 8.46321E-4
explicit information 8.45113E-4
redex linear 8.4509E-4
underspecified description 8.42103E-4
simple example 8.39384E-4
first step 8.31428E-4
certain node 8.31179E-4
ambiguous sentence 8.2958E-4
complete underspecified 8.28864E-4
global variables 8.215550000000001E-4
solution procedure 8.20367E-4
correct description 8.19794E-4
semantic rep 8.17894E-4
relation xnm 8.14904E-4
complete solution 8.10999E-4
allelism relation 8.10159E-4
similar problems 8.09444E-4
following relations 8.02444E-4
constraint 8.02246E-4
formal meaning 8.009289999999999E-4
scope 7.97046E-4
alternative procedure 7.91655E-4
new literals 7.83457E-4
general problem 7.79309E-4
lambda structures 7.74541E-4
constraints 7.74274E-4
underspecified descriptions 7.71386E-4
natural conditions 7.652399999999999E-4
large numbers 7.63119E-4
