LP, the Larch Prover -- Assigning and using names

See

• Assigning a <name> to a fact
• Using <names> in commands
• Name classes