Formal knowledge representation language AND Mike Bergman
Common descendants