Added some notes on first-order logic.
Merge branch 'master' of github.com:RichardEvans/EL
Added a brief explanation of key constructions in first-order logic.