Task: Text Simplification
Input (English): WrestleMania 13 was the 13th annual WrestleMania professional wrestling pay-per-view ( PPV ) event produced by the World Wrestling Federation ( WWF ) .
Output (English): It was the thirteenth WrestleMania event held by the WWF .