class I

rule

list: list X

end