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