grammar parsing 0.0014345299999999998
rule set 0.001312068
parsing method 0.001230624
tree grammar 0.001207399
parsing approach 0.001137565
such dependencies 0.0011318510000000001
multiset grammar 0.0011164579999999999
chart parsing 0.001116249
categorial parsing 0.001110305
parsing process 0.00110508
index set 0.0011020819999999999
initial grammar 0.001067391
same index 0.001059771
general form 0.001059222
categorial grammar 0.0010419469999999999
different rules 0.001041921
empty set 0.001021854
dtg parsing 0.001018193
fixed set 0.001008538
new rule 0.001004231
other indices 0.0010037380000000001
string language 9.93332E-4
maximal set 9.92664E-4
chart algorithm 9.7922E-4
slmg grammar 9.76797E-4
restrictor set 9.74564E-4
strictor set 9.72299E-4
set identi 9.72299E-4
parsing hepple 9.655309999999999E-4
lambek grammars 9.642800000000001E-4
time result 9.59471E-4
other edges 9.49425E-4
second rule 9.40008E-4
form aim 9.32286E-4
same subderivation 9.311289999999999E-4
indexed grammar 9.236369999999999E-4
grammar formalism 9.23496E-4
chart rule 9.190299999999999E-4
other ways 9.14799E-4
linear resource 9.08392E-4
ing method 8.998470000000001E-4
ing proof 8.98453E-4
grammar rambow 8.974009999999999E-4
lambek chart 8.90891E-4
practical use 8.896780000000001E-4
lambek sequent 8.868490000000001E-4
multiple rules 8.739970000000001E-4
following rules 8.71918E-4
polynomial time 8.576720000000001E-4
chart method 8.43985E-4
sequent proof 8.385490000000001E-4
new approach 8.36127E-4
chart rules 8.332680000000001E-4
resource use 8.31585E-4
linear logic 8.302940000000001E-4
last rule 8.26974E-4
current method 8.18038E-4
slmg tree 8.18024E-4
initial multiset 8.176769999999999E-4
new chart 8.148109999999999E-4
different ways 8.14228E-4
time parsability 8.021580000000001E-4
mial time 8.00963E-4
complexity result 7.99878E-4
new edge 7.97135E-4
possible distributions 7.926329999999999E-4
possible category 7.9232E-4
prediction rule 7.81448E-4
linear prioritized 7.80352E-4
common index 7.8027E-4
proof terms 7.787720000000001E-4
multiset index 7.77611E-4
word order 7.764289999999999E-4
introduction rule 7.76352E-4
span variables 7.749129999999999E-4
current multiset 7.7223E-4
tabular method 7.70085E-4
rule dill 7.69938E-4
ning rule 7.686069999999999E-4
result type 7.65609E-4
variable capture 7.63852E-4
multiset indices 7.630810000000001E-4
slmg rules 7.62174E-4
semantic term 7.61889E-4
multiple lexical 7.61704E-4
fresh variable 7.60554E-4
variable occurrence 7.59614E-4
possible locus 7.57283E-4
compilation method 7.56622E-4
above proof 7.56055E-4
parsing 7.51444E-4
standard chart 7.509179999999999E-4
initial sequent 7.45068E-4
proof net 7.44356E-4
labelling scheme 7.440330000000001E-4
completer step 7.425590000000001E-4
proof search 7.41759E-4
binding information 7.41415E-4
prediction step 7.40403E-4
semantic matters 7.35742E-4
