Linkage-dominant entailment[2], wherein the linkages entail the answer.
This can be either where we know two things exists and we are trying to find what links them, or wherewe know what connections to look for, but do not know what the linked instances are. We model such QA systems as type 3
functional entities.