For example, if "lion" and "zebra" are kinds of animal, and we add the information that lions eat zebras, then the DL may be able to infer that lions are carnivore.
(lion" and "zebra; are; kinds of animal) (we; add; the information that lions eat zebras) (lions; eat; zebras) (the DL; may be; able to infer that lions are carnivore; T:then) (the DL; to infer; that lions are carnivore) Context(the DL to infer,List([111, 138))):(lions; are; carnivore)
the DL to infer,List([111, 138))
lion" and "zebra we lions the DL the DL lions
are add eat may be to infer are
kinds of animal
the information that lions eat zebras
zebras
able to infer that lions are carnivore T:then
that lions are carnivore
carnivore