(def-theory generic-theory-1 
    (component-theories h-o-real-arithmetic 
		            pure-generic-theory-1))

(def-theory generic-theory-2 
    (component-theories h-o-real-arithmetic 
		            pure-generic-theory-2
		            generic-theory-1))

(def-theory generic-theory-3 
    (component-theories h-o-real-arithmetic 
		            pure-generic-theory-3
		            generic-theory-2))

(def-theory generic-theory-4 
    (component-theories h-o-real-arithmetic 
		            pure-generic-theory-4
		            generic-theory-3))