diff --git a/src/api/SymbolicPes.gf b/src/api/SymbolicPes.gf
index 6a007eadf..5225856cc 100644
--- a/src/api/SymbolicPes.gf
+++ b/src/api/SymbolicPes.gf
@@ -1,4 +1,4 @@
---# -path=.:present:mathematical:prelude
+--# -path=.:alltenses:mathematical:prelude
 
 resource SymbolicPes = Symbolic with 
   (Symbol = SymbolPes),
diff --git a/src/hindi/ExtraHinAbs.gf b/src/hindi/ExtraHinAbs.gf
index eb5662dea..0dcac547a 100644
--- a/src/hindi/ExtraHinAbs.gf
+++ b/src/hindi/ExtraHinAbs.gf
@@ -1,2 +1,8 @@
-abstract ExtraHinAbs = {
+abstract ExtraHinAbs = Extra ** {
+
+  fun
+
+  each_Det : Det ;
+  have_V : V;
+  cost_V : V;
 }