Produces program-concept classifications from a program and it's associated syntax in AST form, and relates classifications via a partial-order in a complete lattice.