Return-Path: <@FINHUTC.HUT.FI:LOJBAN@CUVMB.BITNET> Received: from kantti.helsinki.fi by xiron.pc.helsinki.fi with smtp (Linux Smail3.1.28.1 #1) id m0rHvjj-00007DC; Wed, 14 Dec 94 17:35 EET Received: from fiport.funet.fi (fiport.funet.fi [128.214.109.150]) by kantti.helsinki.fi (8.6.9/8.6.5) with ESMTP id RAA04502 for ; Wed, 14 Dec 1994 17:35:24 +0200 Received: from FINHUTC.HUT.FI (MAILER@FINHUTC) by FIPORT.FUNET.FI (PMDF V4.3-7 #2494) id <01HKN05M6DSG000880@FIPORT.FUNET.FI>; Wed, 14 Dec 1994 15:34:22 EET Received: from SEARN.SUNET.SE (NJE origin MAILER@SEARN) by FINHUTC.HUT.FI (LMail V1.1d/1.7f) with BSMTP id 0238; Wed, 14 Dec 1994 17:35:30 +0200 Received: from SEARN.SUNET.SE (NJE origin LISTSERV@SEARN) by SEARN.SUNET.SE (LMail V1.2a/1.8a) with BSMTP id 9338; Wed, 14 Dec 1994 16:32:08 +0100 Date: Wed, 14 Dec 1994 16:27:07 +0100 From: Roberto Ricci Subject: some help needed Sender: Lojban list To: Veijo Vilva Reply-to: rricci@VAXRMA.CERN.CH Message-id: <01HKN05MW8BQ000880@FIPORT.FUNET.FI> X-Envelope-to: veion@XIRON.PC.HELSINKI.FI Content-transfer-encoding: 7BIT MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Content-Length: 206 Lines: 9 How do I refer to some sentence as a whole? I want to translate something like: Let P be the sentence "..." needing to be able to refer to the propositional constant P for later use. co'o mi'e rob.