
where each step is an entailment (a conclusion that “a person would typically infer” [1]}),
i.e., the knowledge expressed in each node reasonably follows from the content of its immediate children.

at a fine-grained granularity, where each step encodes a single inference, e.g.,
making a single taxonomic inference, conjoining two facts, or applying a single rule in the corpus.

that are explicit, with the informal goal of including all the knowledge
that a young child would need to answer the question.

that are compositional, where more complex conclusions can be drawn from
simpler leaf facts.

that are accurate, concluding (a declarative version of) the QA pair of interest.

