type of components + specification of facts