//used by capply private InternalActionLiteral(InternalActionLiteral l, Unifier u) : base((Structure)l, u) { this.ia = l.ia; }
//used by cloneNS private InternalActionLiteral(Atom ns, InternalActionLiteral l) : base(ns, (Structure)l) { this.ia = l.ia; }
//used by clone public InternalActionLiteral(InternalActionLiteral l) : base(l.GetNS(), (Structure)l) { this.ia = l.ia; }