Seems to be all good. Still need to add precedence and favoring indicated by "is a" clauses.