diff --git a/AUTHORS.md b/AUTHORS.md
index 2e45be55a8..cc1937035d 100644
--- a/AUTHORS.md
+++ b/AUTHORS.md
@@ -281,6 +281,7 @@
 - Ruben Cartuyvels <https://github.com/rubencart>
 - Dalton Pearson <https://github.com/daltonpearson>
 - Saibo Geng <https://github.com/Saibo-creator>
+- Ahmet Yildirim <https://github.com/RnDevelover>
 
 ## Others whose work we've taken and included in NLTK, but who didn't directly contribute it:
 
diff --git a/nltk/sem/drt.py b/nltk/sem/drt.py
index fbd7e1e1f5..be236f02d3 100644
--- a/nltk/sem/drt.py
+++ b/nltk/sem/drt.py
@@ -898,7 +898,7 @@ def _pretty(self):
         )
         if self.consequent:
             drs = DrtBinaryExpression._assemble_pretty(
-                drs, DrtTokens.IMP, self._pretty(self.consequent)
+                drs, DrtTokens.IMP, self.consequent._pretty()
             )
         return drs