. "Previous_instance" . "Previous_instance"^^ . . . . "pi" . . "JKR" . . . . . "Previous_instance" . "2004-03-10T14:37:52+01:00"^^ . "6129"^^ . . "Core" . "Core"^^ . . "An instance of the Type that was encountered previously and which is now compared for identity with the Current_instance."^^ . "An instance of the Type that was encountered previously and which is now compared for identity with the Current_instance."@en . "An instance of the Type that was encountered previously and which is now compared for identity with the Current_instance."@en .