class names are all "the C" assume parents loaded before kids instances are lists of labelledTerms [emp(job),person(name,dob)]]