//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;
}
