added membership relations to target models