(resolve-constraint-violation 
"IOD" 
`constraint-violation-1 `A-5)

(make-decision 'd-10)


(resolve-constraint-violation 
"IOD" 
`constraint-violation-2 `A-3)

(resolve-constraint-violation 
"Mirror-Designer" 
`constraint-violation-2 `A-3)

(make-decision 'd-11)

(resolve-constraint-violation 
"Mirror-Designer" 
`constraint-violation-3 'A-1)

(make-decision 'd-12)


(make-decision 'd-13)
(make-decision 'd-14)

(resolve-constraint-violation 
"Base-Designer" 
`constraint-violation-4 'A-11)

(erase-fact "Inventory" "IOU-2 is unavailable")

(reject-old-for-new "IOD" 'd-10 'd-6)

(reject-old-for-new "mirror-designer" 'd-11 'd-5)

(reject-old-for-new "mirror-designer" 'd-12 'd-3)

(make-decision 'd-15)

(reject-decision "base-designer"'d-14 )