WS-Mizar parser