
(c2? v1)       =&gt; #f
(c-x v1)       =&gt; "V1"
(c1-a v1)      =&gt; "a1"

(define v2 (condition (&amp;c2
                        (x "V2")
                        (b "b2"))))

(c? v2)        =&gt; #t
(c1? v2)       =&gt; #f
(c2? v2)       =&gt; #t
(c-x v2)       =&gt; "V2"
(c2-b v2)      =&gt; "b2"

(define v3 (condition (&amp;c1
                       (x "V3/1")
                       (a "a3"))
                      (&amp;c2
                       (b "b3"))))

(c? v3)        =&gt; #t
(c1? v3)       =&gt