build open-axiom
((|bad1| ((#1=(|Integer|) #2=(|OrderedVariableList| '(|alpha| |beta|))) (#1# (|One| #1#)) (|arguments| (|opts1| . #2#)))))