It was late and I transcribed the wrong shell output. Here is the parse of Fatemans' example.
C:\DMS\Domains\Mathematica\Tools\Parser\Source>type "C:\DMS\Domains \Mathematica\Examples\Fateman.m" r[s[]] C:\DMS\Domains\Mathematica\Tools\Parser\Source>run ../domainparser + +AST "C:\DMS\Domains\Mathematica\Examples\Fateman.m" Domain Parser for Mathematica 2.3.3 Copyright (C) Semantic Designs 1996-2010; All Rights Reserved 25 tree nodes in tree. (Mathematica@Mathematica=1#481c6a0^0 Line 1 Column 1 File C:/DMS/ Domains/Mathematica/Examples/Fateman.m (Commands@Mathematica=3#481c3e0 Line 1 Column 1 File C:/DMS/Domains/ Mathematica/Examples/Fateman.m (Commands@Mathematica=3#481c660 Line 1 Column 1 File C:/DMS/Domains/ Mathematica/Examples/Fateman.m (Commands@Mathematica=2#4819dc0 Line 1 Column 1 File C:/DMS/Domains/ Mathematica/Examples/Fateman.m)Commands (Command@Mathematica=5#481ca20 Line 1 Column 1 File C:/DMS/Domains/ Mathematica/Examples/Fateman.m |(ExpressionSequence@Mathematica=17#481c840 Line 1 Column 1 File C:/ DMS/Domains/Mathematica/Examples/Fateman.m | (Rule@Mathematica=29#481c5a0 Line 1 Column 1 File C:/DMS/Domains/ Mathematica/Examples/Fateman.m | (Disjunction@Mathematica=34#481cae0 Line 1 Column 1 File C:/DMS/ Domains/Mathematica/Examples/Fateman.m | (Conjunction@Mathematica=36#481c920 Line 1 Column 1 File C:/DMS/ Domains/Mathematica/Examples/Fateman.m | |(EqualitySequence@Mathematica=38#481c6e0 Line 1 Column 1 File C:/DMS/Domains/Mathematica/Examples/Fateman.m | | (Sum@Mathematica=56#481c680 Line 1 Column 1 File C:/DMS/ Domains/Mathematica/Examples/Fateman.m | | (Primary@Mathematica=108#481c5c0 Line 1 Column 1 File C:/DMS/ Domains/Mathematica/Examples/Fateman.m | | (QualifiedIdentifier@Mathematica=203#4819e20 Line 1 Column 1 File C:/DMS/Domains/Mathematica/Examples/Fateman.m | | |(IDENTIFIER@Mathematica=206#4819da0[`r'] Line 1 Column 1 File C:/DMS/Domains/Mathematica/Examples/Fateman.m)IDENTIFIER | | )QualifiedIdentifier | | (ExpressionSequence@Mathematica=17#481c940 Line 1 Column 3 File C:/DMS/Domains/Mathematica/Examples/Fateman.m | | |(Rule@Mathematica=29#481c2e0 Line 1 Column 3 File C:/DMS/ Domains/Mathematica/Examples/Fateman.m | | | (Disjunction@Mathematica=34#481c4c0 Line 1 Column 3 File C:/DMS/Domains/Mathematica/Examples/Fateman.m | | | (Conjunction@Mathematica=36#481c780 Line 1 Column 3 File C:/DMS/Domains/Mathematica/Examples/Fateman.m | | | (EqualitySequence@Mathematica=38#4819f40 Line 1 Column 3 File C:/DMS/Domains/Mathematica/Examples/Fateman.m | | | |(Sum@Mathematica=56#481c340 Line 1 Column 3 File C:/ DMS/Domains/Mathematica/Examples/Fateman.m | | | | (Primary@Mathematica=108#481c700 Line 1 Column 3 File C:/DMS/Domains/Mathematica/Examples/Fateman.m | | | | (QualifiedIdentifier@Mathematica=203#481c1c0 Line 1 Column 3 File C:/DMS/Domains/Mathematica/Examples/Fateman.m | | | | (IDENTIFIER@Mathematica=206#481c220[`s'] Line 1 Column 3 File C:/DMS/Domains/Mathematica/Examples/Fateman.m)IDE NTIFIER | | | | )QualifiedIdentifier | | | | (ExpressionsStar@Mathematica=177#481c760 Line 1 Column 5 File C:/DMS/Domains/Mathematica/Examples/Fateman.m)Expr essionsStar | | | | )Primary | | | |)Sum | | | )EqualitySequence | | | )Conjunction | | | )Disjunction | | |)Rule | | )ExpressionSequence | | )Primary | | )Sum | |)EqualitySequence | )Conjunction | )Disjunction | )Rule |)ExpressionSequence )Command )Commands (Command@Mathematica=4#481c980 Line 2 Column 1 File C:/DMS/Domains/ Mathematica/Examples/Fateman.m)Command )Commands )Mathematica Exiting with final status 0 For good measure, here's a larger file without the parse tree dump: C:\DMS\Domains\Mathematica\Tools\Parser\Source>wc "C:\DMS\Domains \Mathematica\Examples\dominators.m" 1359 6375 71215 C:\DMS\Domains\Mathematica\Examples\dominators.m C:\DMS\Domains\Mathematica\Tools\Parser\Source>run ../domainparser "C: \DMS\Domains\Mathematica\Examples\dominators.m" Domain Parser for Mathematica 2.3.3 Copyright (C) Semantic Designs 1996-2010; All Rights Reserved 18748 tree nodes in tree. Exiting with final status 0 -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org