fixed parsing axioms with no inputs