demo2 cls
open cg_text
print_next_text cg_text
demo cls
print_next_text cg_text
demo2 'graph monkey_example is'
print_next_text cg_text
graph monkey_example is [eat] - (agnt) -> [monkey] (obj) -> [walnut:*x]
(inst) -> [spoon] -> (matr) -> [shell] <- (part) <- [walnut:*x].
print_next_text cg_text
demo 'print monkey_example from [monkey].'
print monkey_example from [monkey].
pp2 ''
demo cls
print_next_text cg_text
demo2 'gload cg_dem1 all.'
?((gload cg_dem1 all))
pp2 ''
demo cls
demo2 'print name1'
print name1
gflush name1
demo2 'print students'
print students
gflush students
demo2 'print proposition'
print proposition
gflush proposition
demo cls
demo2 'print agnt'
print agnt
gflush agnt
demo2 'print two_people'
print two_people
gflush two_people
demo cls
demo2 'print elephant'
print elephant
gflush elephant
demo cls
print_next_text cg_text
demo2 'reload cg_types'
reload cg_types
demo cls
demo2 'list sub'
list2 sub
demo cls
pp 'after sub listing, before next text on loading new graphs'
print_next_text cg_text
pp 'after text on loading new graphs'
demo2 'gload cg_dem2 all.'
pp "after demo2 'gload cg_dem2 all.'"
?((gload cg_dem2 all))
pp2 ''
demo cls
demo2 'print eat1'
print eat1
print_next_text cg_text
demo 'copy eat1 to eat3.'
copy eat1 to eat3.
demo2 'print eat3'
print eat3
gflush eat3
pp2 ''
print_next_text cg_text
demo cls
demo2 'print eat1'
print eat1
demo2 'restrict [girl] to [girl:Sue] in eat1.'
restrict [girl] to [girl:Sue] in eat1.
demo2 'print eat1'
print eat1
demo2 'print eat2'
print eat2
demo2 'restrict [person:Sue] to [girl:Sue] in eat2.'
restrict [person:Sue] to [girl:Sue] in eat2.
demo2 'print eat2'
print eat2
demo cls
print_next_text cg_text
demo2 'join [girl:Sue] in eat1 and [girl:Sue] in eat2 to give eat4.'
join [girl:Sue] in eat1 and [girl:Sue] in eat2 to give eat4.
demo2 'print eat4'
print eat4 [eat].
gflush eat1
gflush eat2
print_next_text cg_text
demo 'simplify eat4'
simplify eat4
demo2 'print eat4'
print eat4
gflush eat4
demo cls
print_next_text cg_text
demo2 'print bus'
print bus
demo 'print John'
print John
demo cls
demo2 'join [bus] in John and [bus:*x] in bus to give John2.'
join [bus] in John and [bus:*x] in bus to give John2.
demo2 'simplify John2'
simplify John2
demo2 'print John2 [bus].'
print John2 [bus].
gflush John2
demo cls
print_next_text cg_text
demo2 'print bus'
print bus
demo 'print John'
print John
demo cls
demo2 'maxj bus and John to give John3.'
maxj bus and John to give John3.
gflush bus
gflush John
demo2 'print John3 [bus].'
print John3 [bus].
gflush John3
demo cls
print_next_text cg_text
demo2 'gload cg_dem3 all'
?((gload cg_dem3 all))
pp2 ''
demo cls
print_next_text cg_text
demo2 'print Jip'
print Jip
demo2 'print circus_dog'
print circus_dog
demo 'expand [circus_dog:Jip] in Jip.'
expand [circus_dog:Jip] in Jip.
gflush circus_dog
demo2 'print Jip'
print Jip
gflush Jip
demo cls
print_next_text cg_text
demo2 'print fact1'
print fact1
demo2 'print factorial'
print factorial
demo cls
demo2 'expand <<factorial>> in fact1.'
expand <<factorial>> in fact1.
gflush factorial
demo2 'print fact1'
print fact1
gflush fact1
pp2 ''
print_next_text cg_text
demo cls
print_next_text cg_text
close cg_text