From 4aa538ed8354123181423c9fd2c2422d2c4a0827 Mon Sep 17 00:00:00 2001
From: MitsiCash <mitsikas.th@gmail.com>
Date: Sun, 21 Oct 2018 20:00:04 +0300
Subject: [PATCH] generate error message for slotted expressions for TPTP

---
 .../antlr3/org/ruleml/psoa/psoa2x/psoa2tptp/TPTPConverter.g | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/PSOA2X/src/main/antlr3/org/ruleml/psoa/psoa2x/psoa2tptp/TPTPConverter.g b/PSOA2X/src/main/antlr3/org/ruleml/psoa/psoa2x/psoa2tptp/TPTPConverter.g
index 43d7cf25..41ae11a1 100644
--- a/PSOA2X/src/main/antlr3/org/ruleml/psoa/psoa2x/psoa2tptp/TPTPConverter.g
+++ b/PSOA2X/src/main/antlr3/org/ruleml/psoa/psoa2x/psoa2tptp/TPTPConverter.g
@@ -280,7 +280,11 @@ psoa
                     else
                        replace(startIdx, 7, "sloterm");
                  }
-                 append(")");
+				 else
+				 {
+		         	throw new TranslatorException("Slotted expressions are not supported");
+				 }
+		         append(")");
               }
            |  // No slot or tuples  
 		      {