FormallyConstitutedOrganization has not axioms and is only used once. Can it be removed? We already have FormalOrganziation.

Recommended Additions

Classes

Properties

isGuaranteedBy: 

The inverse of guarantees, is needed in loans.