membership

Deductions

• abstraction is for example membership ⇐ (membership is a abstraction), (is a is inverse of is for example)
• Fellow of the Royal Society has quality membership ⇐ (Fellow of the Royal Society is a member), (member has quality membership)
• fellow has quality membership ⇐ (fellow is subclass of member), (member has quality membership)