Establishing a typology of the commonalities, we can distinguish:
. Instance-dominant entailment, wherein the instances entail the answer. Here,
there is a direct and unambiguous entailment of instances based on a
specification of their attributes. This is the data modelling system present in the
conventional ERD. We model such QA systems with type 1 functional entities.