Axiom checking for #5 fixed. Parser for #4 partly fixed.
Merge branch 'master' of https://github.com/gelkin/MathLogic