. . "Scope note:\nThis property identifies the instance of E74 Group of which an instance of E39 Actor becomes a member through an instance of E85 Joining.\n\nAlthough a Joining activity normally concerns only one instance of E74 Group, it is possible to imagine circumstances under which becoming member of one Group implies becoming member of another Group as well.\n\nJoining events allow for describing people becoming members of a group with a more detailed path from E74 Group through P144 joined with (gained member by), E85 Joining, P143 joined (was joined by) to E39 Actor, compared to the shortcut offered by P107 has current or former member (is current or former member of).\nThe property P144.1 kind of member can be used to specify the type of membership or the role the member has in the group.\n\nExamples:\n- The election of Sir Isaac Newton as Member of Parliament to the Convention Parliament of 1689 (E85) joined with the Convention Parliament (E40)\n- The inauguration of Mikhail Sergeyevich Gorbachev as Leader of the Union of Soviet Socialist Republics (USSR) in 1985 (E85) joined with the office of Leader of the Union of Soviet Socialist Republics (USSR) (E40) with P144.1 kind of member President (E55)\n- The implementation of the membership treaty January 1. 1973 between EU and Denmark (E85) joined with EU (E40)\n\nIn First Order Logic:\nP144(x,y) \u2283 E85(x)\nP144(x,y)\u2283 E74(y)\nP144(x,y,z) \u2283 [P144(x,y) \u2227 E55(z)]\nP144(x,y) \u2283 P11(x,y)\n\nProperties: P144.1 kind of member: E55 Type"@en . "P144"^^ . . "P144 joined with"@en . . .