such type 0.001369213
same type 0.001165836
other words 0.001152217
representat ion 0.001146128
convers ion 0.001125448
new type 0.001032137
other glue 0.001001348
semantic structure 9.98555E-4
other con 9.89731E-4
other occurrences 9.84593E-4
other hand 9.76434E-4
proof rule 9.5564E-4
type variables 9.477579999999999E-4
other modifiers 9.38199E-4
particular type 9.16687E-4
example sentence 9.09711E-4
different problem 9.03963E-4
possible derivations 8.84404E-4
different modifier 8.718650000000001E-4
time algorithm 8.70069E-4
type part 8.59317E-4
type atoms 8.55605E-4
linear logic 8.45536E-4
possible meaning 8.34455E-4
general case 8.25882E-4
skeleton deduction 8.23067E-4
type atom 8.19574E-4
positive skeleton 8.17466E-4
possible deductions 8.080139999999999E-4
left tree 8.074239999999999E-4
type constructor 8.00895E-4
type constructors 7.99487E-4
tree nodes 7.95542E-4
sentence meaning 7.929180000000001E-4
normal form 7.896680000000001E-4
following rule 7.88889E-4
semantic ontributions 7.83912E-4
additional proof 7.775429999999999E-4
hypothetical rule 7.772969999999999E-4
order modifier 7.736819999999999E-4
semantic omposition 7.72902E-4
semantic assembly 7.72902E-4
possible meanings 7.68735E-4
common case 7.526739999999999E-4
particular example 7.49838E-4
standard rules 7.49406E-4
proof net 7.47443E-4
translation rule 7.42862E-4
logic rules 7.420300000000001E-4
possible orders 7.38387E-4
converted form 7.32428E-4
possible reading 7.29391E-4
udrs representation 7.281189999999999E-4
different mean 7.2638E-4
modifier types 7.200500000000001E-4
proof nets 7.10693E-4
new variable 6.992789999999999E-4
different presentation 6.986000000000001E-4
different challenge 6.986000000000001E-4
original example 6.98349E-4
trative sentence 6.86326E-4
glue fragment 6.847E-4
ear time 6.83714E-4
skeleton terms 6.78917E-4
first hurdle 6.7886E-4
skeleton deductions 6.72234E-4
constraints 6.6875E-4
conversion rule 6.63921E-4
implication structure 6.62859E-4
skeletal deduction 6.61189E-4
partial order 6.60453E-4
functional structure 6.58751E-4
skeleton proofs 6.57636E-4
negative skeleton 6.561E-4
pure skeleton 6.536409999999999E-4
compact representation 6.53506E-4
syntactic analyses 6.53194E-4
deduction algo 6.5233E-4
preliminary deduction 6.48272E-4
skeleton atoms 6.47902E-4
negative modifier 6.45393E-4
formal system 6.44581E-4
pure modifier 6.42934E-4
skeleton occurrences 6.42613E-4
combinatoric structure 6.42254E-4
modifier atoms 6.37195E-4
structure sug 6.3453E-4
flhlctional structure 6.3453E-4
compicated example 6.32491E-4
conversion rules 6.32465E-4
lexical contributions 6.3246E-4
modifier occurrences 6.31906E-4
skeleton trees 6.317009999999999E-4
technical problem 6.30521E-4
grammar 6.27763E-4
lexical entries 6.24848E-4
order arguments 6.23678E-4
hypothetical translation 6.21269E-4
right hand 6.19702E-4
sor fragment 6.17888E-4
