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. Suggest NOT add class for Guarantor, no obvious need.