Instructions for Display of Entailment Diagraphs using Pajek

When running the SEA program, ask for an output file as follows:

Output File to disk (N to screen, Y to file)
Y

Name of Output file
Table6

Input file
your input filename

Then when program is finished, open Table6 (one of the output files in the Table1...Table7 series) and search for the level of exceptions that you want to display.

Let's say that you picked out the following entailments, and copied this Table6 output to a separate file.
ENTAILMENT CHAINS: up to 10% error
   11 ->  29 ->  26 ->   8 ->  35 ->  23 ->  28 ->  31 ->   1
   16 ->  18 ->  15 ->  14 ->  13 ->  31
    7 ->   4 ->  32 ->  31
   24 ->  25 ->  30 ->  27 ->  31
   33 ->  32 ->  28
    5 ->  27 ->  28
   10 ->  32 ->  23
   40 ->  27 ->  23
   39 ->  35 ->  13
   36 ->  17 ->  31
   12 ->  14 ->  28
   19 ->  21 ->  22 ->   1
Now download and run the ea2pajek.exe program (source code) and give this filename as input. The result will be a *.net file for Pajek, which you can also download and run.


Once pajek reads this file, then do the following:
> To eliminate transitivities. I.e., if a -> b -> c and a->c
> the a->c must be eliminated.  This is done by removing the red arcs (negatives)
> and removing the all a->c arcs among the black lines.

Remove negative lines Net/Transform/Remove/LineValues less than 1
Calculate equivalence set partition Net/Components/Strong components of size 2 or more
Shrink to equivalence sets Operations/Shrink Partition
Remove loops Net/Transform/Remove/Loops


1. Net/Count Triangles/Directed/Transitive  to count how many times
each line results from a transitive triangle (others will be 0)
2. In obtained network remove lines with value 0 (non transitive lines):
Net/Transform/Remove /lines with value lower than 1
3. Set the original network as first network, and the obtained network
(without transitives) as second
4. Run Nets/Difference to obtain the result

Andrej