[seanmcdirmid]

I get that inheritance is involved in semantic reasoning, but it seems to be quite different from the OOP inheritance linked in the wiki article.