@Override public DungSignature getSignature() { DungSignature reval = new DungSignature(); reval.add(new Argument(this.predicate.getName())); return reval; }
@Override public DungSignature getSignature() { DungSignature reval = new DungSignature(); reval.add(new Argument(this.predicate.getName())); return reval; }