
*** Yes
> > 
*** No
> qa
*** Yes
> 
*** Yes
> @46
*** Yes
--1> 
*** No
> 
*** Yes
--1> 
*** No
> 92
*** Yes
--1> 
*** No
> 
*** Yes
> 
*** Yes
--1> 
*** Yes
----2> 
*** Yes
------3> 
*** No
----2> 42
*** Yes
------3> 
*** No
----2> 
*** Yes
------3> 22
*** Yes
--------4> 
*** No
------3> 
*** Yes
------3> @@
*** Yes
--------4> > 
*** No
> +*
*** Yes
> 
*** No
> 
*** No
> 
*** No
> q1q2q3q4q5q6q7q8
*** Yes
> 
*** No
> 
% 'a' is a user-defined global variable worth *null psi_term*.

% 'b' is a user-defined global variable worth *null psi_term*.

% 'c' is a user-defined global variable worth *null psi_term*.

% 'd' is a user-defined global variable worth *null psi_term*.

% 'e' is a user-defined global variable worth *null psi_term*.

*** Yes
--1> 
*** No
> 
