allow '-'s in tptp ids to avoid problems with remote_vampire
allow '-'s in tptp ids to avoid problems with remote_vampire

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle