fixed partOfFederation domain/range
auto-layout
irreflexive properties
asymmetrix properties
irreflexive/asymmetrix properties
added comments