Non-terminal symbol Subclass

rule(s)occurrences

Defining rules for nonterminal symbol Subclass:

Subclass Term  SUBCLASS  Term 

Occurrences of symbol Subclass in body of other rules:

AtomicFormula Subclass 

Copyright © 2008 ILOG, Inc.; All Rights Reserved.