added the signal control axiom builder