Terminal symbol '('

Occurrences of symbol '(' in grammar rules:

Body_opt '('  SubTerms  ')' 
SortExpression '('  SortExpression  ')' 

Copyright © 2013 by Hassan Aït-Kaci; All Rights Reserved.