TRALE-EXTENSION:Test sequences

TRALE-EXTENSION:Test files

Test items are encoded as t/5 facts:

t(Nr,``Test Item'',Desc,ExpSols,'Comment').

• Nr: test item ID number
• Test Item: test string, must be enclosed in double-quotes
• Desc: optional start category description, leave uninstantiated to get all possible parses
• ExpSols: expected number of solutions
• Comment: optional comment, enclosed in single-quotes

TRALE-EXTENSION:Test queries

TRALE-EXTENSION:Basic test queries

• with pop-up structures
  test(Nr).
  test([From,To]).
  test(all).
• without structures
  testt(Nr).
  testt([From,To]).
  testt(all).

TRALE-EXTENSION:Testing with descriptions

• with pop-up structures
  test(Nr,Desc).
  test([From,To],Desc).
  test(all,Desc).
• without structures
  testt(Nr,Desc).
  testt([From,To],Desc).
  testt(all,Desc).

The value of Desc overrides any description given in t/5. If Desc is a variable (or bot or sign) all parses are returned. The expected number of solutions given in t/5 is ignored.