Fix TypeError: _pretty() takes 1 positional argument but 2 were given in sem/drt.py

[RnDevelover]

Should fix #2853 .
Added as an author.

[tomaarsen]

LGTM, now this aligns it with:

nltk/nltk/sem/drt.py

Lines 487 to 491 in 90fa546

	if self.consequent:
	return DrtBinaryExpression._assemble_pretty(
	drs, DrtTokens.IMP, self.consequent._pretty()
	)
	return drs

Your code now prints:

         __________________________                ________                                 ____________                            ___                              ________                               __________                         _________                                                           __       
 \      |                          |  \      \    |        |      \      \           \     |            |           \      \       | X |                 \     \    |        |     \     \           \     |          |           \     \     | E       |          \               \                  \      \    |  |      
 /\ P Q.|--------------------------|( /\ Y1. /\ X.|--------|(Y1), /\ Z1. /\ P X F.P( /\ E.(|------------| + F(E)))( /\ X2. /\ P Q.(|---| + P(X) + Q(X))( /\ X. /\ X.|--------|(X), /\ Y. /\ P X F.P( /\ E.(|----------| + F(E)))( /\ Z. /\ F.(|---------| + F(E))( /\ Z2.Z(Z2)),Y, /\ X1.X2(X1))),Z1, /\ Y2. /\ F.|--|(Y2)))
        |    ___                   |              | dog(X) |                               | nsubj(E,X) |                          |___|                            | cow(X) |                             | obj(E,X) |                       | help(E) |                                                         |__|      
        |   | X |                  |              |________|                               |____________|                                                           |________|                             |__________|                       |_________|                                                                   
        | ((|---| + P(X)) -> Q(X)) |                                                                                                                                                                                                                                                                                        
        |   |___|                  |                                                                                                                                                                                                                                                                                        
        |__________________________|                                                                                                                                                                                                                                                                                        

[tomaarsen]

@RnDevelover Thank you!