A contribution to the Automated Treatment of Membership Theories