[Image] [Image] [Image] [Image]

Declaration file

 

Optionally, #show, #showif and #hide query declarations may be defined in a separate file. The zdatrtok tokeniser-compiler extracts any declarations from the DATR theory file, and creates a corresponding query file. Three different tags are currently supported:
# hide, # show and # showif. The # character may optionally be separated from the declaration names by white space.

• # hide followed by a list of nodes, delimited with a single dot, declares the set of nodes which should not be used in the forthcoming queries. Example:
  # hide Node1 Node2 Node3 .
• # show followed by a list of paths, delimimed with a single dot, too, declares the paths, which will be automatically queried with the not hidden nodes. Example:
  # show <path one> <path two> <path three> .
• # showif is succeeded by a conditional clause of the form
  <atom[Image] > = atom[Image] :
  followed by a list of paths as defined for the # show tag. All not hidden nodes will be queried with all listed paths if, and only if, the query with the ifpath leads to the ifresult. As usual, any number of WHITESPACE characters may appear between the tag and the '#' character, and '%' comments can be used. Example:
  # showif <fact> = true :
  <path five> <path six> .