; #t
(c2? v3)       =&gt; #t
(c-x v3)       =&gt; "V3/1"
(c1-a v3)      =&gt; "a3"
(c2-b v3)      =&gt; "b3"

(define v4 (make-compound-condition v1 v2))

(c? v4)        =&gt; #t
(c1? v4)       =&gt; #t
(c2? v4)       =&gt; #t
(c-x v4)       =&gt; "V1"
(c1-a v4)      =&gt; "a1"
(c2-b v4)      =&gt; "b2"

(define v5 (make-compound-condition v2 v3))

(c? v5)        =&gt; #t
(c1? v5)       =&gt; #t
(c2? v5)       =&gt; #t
(c-x v5)       =&gt; "V2"
(c1-a v5)      =&gt; "a3"
(c2-b v5)      =&gt; "b2"
</pre><h1>R