NamedIndividual Added and minor changes
Assertion is an axiom