shortest derivation parsing from web interface