Why jEugene Failed: Automating Legal Definition Checks