Complex sentence: There are more ways to formalize the intention mentioned above; a "many-sorted logic" is any package of information which fulfills it.
Split into simpler sentences: There are more ways to formalize the intention mentioned above. A many-sorted logic is any package of information which fulfills it.