@Override
public void checkInferredKnowledge(InternetApplication root) throws Exception {
Frame page = assertHasFrame(root, "container");
DomainType dobj = assertHasDomainType(root, "a domain object");
DomainIterator di = assertHasDomainIterator(page, "select");
InputForm form = assertHasInputForm(page, "form");
// the domain object now has two attributes (one generated key)
assertEquals(2, dobj.getEStructuralFeatures().size());
assertHasDomainAttribute(dobj, "attribute");
DomainAttribute key = assertHasDomainAttribute(dobj, "generated primary key");
assertTrue(key.isPrimaryKey());
assertTrue(key.isIsGenerated());
// an instance is created
DomainInstance instance = di.getCurrentInstance();
assertGenerated(instance);
// the instance has both of these values
assertEquals(2, typeSelect(instance.getFeatureInstances(), DomainAttributeInstance.class).size());
assertHasDomainAttributeInstance(instance, "attribute");