
*** Yes
> > 
*** Yes
> > persistent(a)?

*** Yes
> ersistent(b)?

*** Yes
> ersistent(c)?

*** Yes
> ersistent(d)?

*** Yes
> ersistent(e)?

*** Yes
> ersistent(f)?

*** Yes
> > 
> 
> check :-
|    	write("
|    a=",a,"
|    b=",b,"
|    c=",c,"
|    d=",d,"
|    e=",e,"
|    f=",f,"
|    ").

*** Yes
> 
> 
> 
> a <<- billy_the_hilly(hair => knots,
|    			arms => long,
|    			teeth => yellow,
|    			eyes => red,
|    			voice => cracked,
|    			nails => {black;broken},
|    			nose => pimples,
|    			breath => bad,
|    			vehicle => truck(paint => gone,
|    					 gun_rack => full,
|    					 fuel_consumption => enormous,
|    					 size => much_too_big,
|    					 speed => really_slow,
|    					 location => in_front_of_you),
|    			feet => smelly,
|    			armpits => worse,
|    			belly => hangs_out,
|    			fingers => gnarled,
|    			mouth => full_of_beer,
|    			hand => down_his_pants) ?

*** Yes
--1> 
*** No
> 
> a = @(feet => S), write(S),nl ?
smelly

*** Yes
S = smelly.
--1> 
*** No
> a = @(hair => H, arms => A, teeth => T), write(H,A,T),nl ?
knotslongyellow

*** Yes
A = long, H = knots, T = yellow.
--1> 
*** No
> a = @(hair => H, arms => A, joke => bad, teeth => T) ?

*** No
> 
> a = @(hair => H, arms => A, aardvark => bad, teeth => T) ?

*** No
> 
> a = @(hair => H, arms => A, zebra => bad, teeth => T) ?

*** No
> 
> a <<- p(b,c), check?

a=p(@,@)
b=@
c=@
d=@
e=@
f=@

*** Yes
--1> 
*** No
> 
> b <<- 5, check ?

a=p(5,@)
b=5
c=@
d=@
e=@
f=@

*** Yes
--1> 
