* Added defs for red nucleus parts
 * Temporarily weakened some spatial disjointness axioms
 * Added abbreviations from NIFSTD. Addresses issue #308