% d_3_3_1

:- declare(3, 3).

a_3_1 :- a_2_1.
a_2_1 :- a_1_1.
true ---> a_3_1 ; a_3_2 ; a_3_3.
true ---> a_2_1 ; a_2_2 ; a_2_3.
true ---> a_1_1 ; a_1_2 ; a_1_3.