Vengono presentate le diverse classi globali ,le relative classi  locali con i loro attributi
E' possibile inserire le Assertion dalle quali verranno ricavati i relativi Existence Requirement, deve poter
essere possibile specificare anche dei singoli Existence Req.
Alla pressione del tasto OK il SW calcola il BES in base alle informazioni inserite e ritorna una rappresentazione grafica della Extensional Hierarchy ricavata dalla quale e' possibile ricavare ulteriori informazioni per arricchire la
conoscenza estensionale. Il SW deve saper identificare quando e' stato ottenuto un BES accettabile.