english sentences 0.002389361
english input 0.0023084950000000003
english specifications 0.002302462
english expressions 0.0022782740000000003
english expression 0.002258335
ctl language 0.002245985
english syntax 0.002221954
controlled english 0.002205187
representation language 0.002204921
english descriptions 0.002178245
english renderings 0.002175767
english locutions 0.002175767
natural language 0.002090728
language hierarchy 0.002075289
specification language 0.002009288
controlled language 0.001998217
core language 0.001979751
language tools 0.001979211
language engine 0.001971635
english 0.00196049
ctl translation 0.0019427049999999999
translation function 0.001823598
language 0.00175352
reverse translation 0.001699394
valid translation 0.00169236
actl translation 0.001677918
literal translation 0.001667438
ctl model 0.001663785
temporal model 0.001545037
state model 0.001456054
model structure 0.001452728
translation 0.00145024
model checking 0.001395409
semantic representation 0.001343076
model 0.00117132
semantic expressiveness 0.001167798
semantic properties 0.001162597
semantic output 0.001159695
semantic clauses 0.001156881
computation tree 0.001155312
semantic orientation 0.0011552889999999999
tree logic 0.0011491040000000002
semantic readings 0.001142511
semantic formalism 0.001133839
semantic analyses 0.0011097939999999999
semantic omplexity 0.0011077629999999999
semantic expressibility 0.0011077629999999999
such discourses 0.0011067499999999999
search method 0.001085881
coverage grammar 0.0010626289999999998
tools grammar 0.001028358
alvey grammar 0.001025745
linguistic constructions 9.3753E-4
syntactic context 9.352569999999999E-4
linguistic hypothesis 9.22889E-4
linguistic phenomenon 9.18846E-4
standard models 8.97955E-4
lexical item 8.8408E-4
different merits 8.8056E-4
logical form 8.6316E-4
purpose rules 8.625109999999999E-4
sentence discourses 8.59919E-4
syntactic variants 8.58851E-4
much work 8.500129999999999E-4
other reasons 8.25979E-4
efficient search 8.20514E-4
general approach 8.17633E-4
coordination rules 8.171459999999999E-4
key problem 8.08593E-4
grammar 8.02667E-4
same time 7.98201E-4
input sentences 7.76876E-4
future work 7.7595E-4
phrase modification 7.75815E-4
ctl structure 7.73873E-4
conversion system 7.66566E-4
second example 7.62952E-4
following expression 7.58028E-4
transition system 7.50318E-4
ctl specification 7.482330000000001E-4
relevant ctl 7.47582E-4
ctl description 7.44904E-4
additional phenomena 7.42169E-4
pure ctl 7.40653E-4
ctl examples 7.390789999999999E-4
system design 7.38412E-4
additional mechanisms 7.37614E-4
lar task 7.37122E-4
ctl conversion 7.36501E-4
ongoing work 7.32992E-4
temporal order 7.32436E-4
ctl operator 7.31904E-4
ctl formulas 7.29976E-4
extended ctl 7.2762E-4
ogic ctl 7.22309E-4
ctl formula 7.14074E-4
ctl interpretations 7.109099999999999E-4
intended ctl 7.08201E-4
key tasks 7.05661E-4
next time 7.029009999999999E-4
