I've just added an enhancement that should substantially simplify the development process. The new command EBL_MODE puts the top-level in a mode where each input sentence is subjected to EBL analysis, using the current set of operationality criteria; the operationality criteria file is reloaded each time, in case it has changed. The system prints a list of derived rules, with the substring used to derive each rule. Here's an example from CALL-SLT/French:
>> EBL_MODE
(Do EBL processing on input sentences)
--- Performed command EBL_MODE, time = 0.00 seconds
>> puis je avoir un sandwich
Taking operationality criteria from d:/cygwin/home/speech/call-slt/fre/prolog/operationality_recognition.pl
--- Written compiled operationality file (37 items) d:/cygwin/home/speech/call-slt/fre/generatedfiles/fre_recognition_tmp_ebl_operational.pl
% compiling d:/cygwin/home/speech/call-slt/fre/generatedfiles/fre_recognition_tmp_ebl_operational.pl...
% module tmp_ebl_operational imported into user
% module lists imported into tmp_ebl_operational
% module utilities imported into tmp_ebl_operational
% module ebl_operational imported into tmp_ebl_operational
% compiled d:/cygwin/home/speech/call-slt/fre/generatedfiles/fre_recognition_tmp_ebl_operational.pl in module tmp_ebl_operational, 0 msec 6928 bytes
Rule of form ".MAIN-->utterance"
derived from [puis,je,avoir,un,sandwich]
Rule of form "utterance-->med_utterance"
derived from [puis,je,avoir,un,sandwich]
Rule of form "med_utterance-->vp"
derived from [puis,je,avoir,un,sandwich]
Rule of form "vp-->vbar,vbar,np,optional_pp"
derived from [puis,je,avoir,un,sandwich]
Rule of form "vbar-->verb,hyphen,pronoun,optional_adverb"
derived from [puis,je]
Rule of form "verb-->puis"
derived from [puis]
Rule of form "hyphen-->[]"
derived from []
Rule of form "pronoun-->je"
derived from [je]
Rule of form "optional_adverb-->[]"
derived from []
Rule of form "vbar-->verb,optional_adverb"
derived from [avoir]
Rule of form "verb-->avoir"
derived from [avoir]
Rule of form "optional_adverb-->[]"
derived from []
Rule of form "np-->spec,n"
derived from [un,sandwich]
Rule of form "spec-->un"
derived from [un]
Rule of form "n-->sandwich"
derived from [sandwich]
Rule of form "optional_pp-->[]"
derived from []