Added comments. Replaced minCardinality with InverseFunctionalProperty.
Changed base namespace and added cardinality for AtomicGoal.
Added covering axiom.
Organized.
Fixed restriction and genid error.