discourse space 0.002268373
discourse model 0.002204928
primitive discourse 0.002158846
corresponding discourse 0.002115805
discourse theory 0.002106494
discourse spaces 0.002082968
argumentative discourse 0.002044549
ongoing discourse 0.002031516
discourse history 0.001998429
discourse 0.00178294
proof tree 0.001719818
proof node 0.001432824
proof step 0.001169813
natural language 0.001152868
attentional structure 0.0011503849999999999
such references 0.001133668
specific proof 0.001118833
such operator 0.001116101
proof unit 0.0011150729999999998
mathematical text 0.001096863
proof patterns 0.0010958769999999999
input proof 0.001088104
planning approach 0.0010848519999999999
such derivation 0.001077545
case analysis 0.001075403
proof presentation 0.001061338
particular proof 0.001058074
overall planning 0.0010558030000000001
proof units 0.001055147
domain structure 0.001052803
language generation 0.001047984
proof schema 0.0010374009999999999
attentional space 0.001029142
proof presenta 0.001025724
style proof 0.001022547
abstracted proof 9.960149999999998E-4
isolated proof 9.91008E-4
hierarchical planning 9.89302E-4
next node 9.84209E-4
language utterances 9.753750000000001E-4
semantic objects 9.73635E-4
text generation 9.59225E-4
hat language 9.48557E-4
uniform planning 9.37364E-4
new task 9.369819999999999E-4
cal planning 9.33666E-4
consecutive planning 9.268740000000001E-4
new objects 9.26082E-4
planning operators 9.24356E-4
planning framework 9.155999999999999E-4
other words 9.1102E-4
models text 9.103199999999999E-4
language production 9.092690000000001E-4
text structures 9.025489999999999E-4
surface structure 9.00676E-4
first case 8.99014E-4
planning oper 8.94353E-4
planning mechanism 8.889589999999999E-4
planning mecha 8.86339E-4
natural deduction 8.85245E-4
other reasons 8.80804E-4
inference rule 8.70654E-4
other aspects 8.674139999999999E-4
other part 8.67072E-4
semantic object 8.624360000000001E-4
certain type 8.60575E-4
text planner 8.595219999999999E-4
following rules 8.541649999999999E-4
reference rules 8.51389E-4
following status 8.48327E-4
attentional spaces 8.43737E-4
argumentative text 8.413989999999999E-4
explicit reference 8.40553E-4
new conclusion 8.36221E-4
structure genera 8.28113E-4
derivation relation 8.2167E-4
text struc 8.165819999999999E-4
local focus 8.133050000000001E-4
implicit form 8.11935E-4
attentional hierarchy 8.09587E-4
explicit form 8.091749999999999E-4
mathematical theorem 7.988069999999999E-4
inference method 7.9827E-4
natural segmentation 7.87591E-4
system proverb 7.83791E-4
reference choices 7.80748E-4
derive reference 7.803970000000001E-4
tion knowledge 7.80392E-4
reference forms 7.76131E-4
proof 7.75529E-4
referr ing 7.75156E-4
reference cho 7.74342E-4
strong domain 7.657639999999999E-4
attentional spac 7.58062E-4
attentional movement 7.58062E-4
reference decisions 7.53243E-4
tional space 7.517369999999999E-4
formula assumptions 7.412499999999999E-4
focus status 7.36655E-4
comprehensive system 7.3633E-4
