Language and linguistic community: improving axioms relating aggregates to members

[CDowland]

For ‘language,’ we have the following axiom:

• ‘has member’ only ‘linguistic competence’

For ‘linguistic community,’ we have the following axiom:

• ‘has member’ only (‘material entity’ and (‘bearer of’ some ‘linguistic competence’))

While we know that there aren’t aggregates with 0 members, a computer does not. So, perhaps we should add more the above axioms, asserting that each of these sorts of aggregates has some member. This could be achieved by repeating what’s already in the axioms, but with “some” instead of “only”:

For ‘language’:

• (‘has member’ only ‘linguistic competence’) and (‘has member’ some ‘linguistic competence’)

For ‘linguistic community’:

• (‘has member’ only (‘material entity’ and (‘bearer of’ some ‘linguistic competence’))) and (‘has member’ some (‘material entity’ and (‘bearer of’ some ‘linguistic competence’)))

[CDowland]

Implemented the above changes and pushed to devel.