System Architecture
N
u
p
r
l
Content
Planner
Lexical
Chooser
FUF
formal proof
queries and replies
edited and annotated formal proof
Function Descriptors for each sentence
English proof
SURGE
Previous slide
Next slide
Back to first slide
View graphic version