Whether one link of a response is supported by the response's other
premises.
follows: it follows from them. supportPremiseIds is a minimal set it
follows from — no premise can be removed — not necessarily the smallest.
restsOnlyOnLinks is true when it follows only through links that are
themselves unsupported; it is absent when any link of the response is
undetermined.
asserted: the other premises can hold with it false. counterexample
is such an assignment; attemptedSupport is true when another premise has
the link's content, up to negation, on its consequent side.
incoherent: the response's premises cannot all hold, so nothing about
the link is reported.
undetermined: the search could not decide.
invalid: the response's bindings do not fit the snapshot supplied.
Whether one link of a response is supported by the response's other premises.
follows: it follows from them.supportPremiseIdsis a minimal set it follows from — no premise can be removed — not necessarily the smallest.restsOnlyOnLinksis true when it follows only through links that are themselves unsupported; it is absent when any link of the response is undetermined.asserted: the other premises can hold with it false.counterexampleis such an assignment;attemptedSupportis true when another premise has the link's content, up to negation, on its consequent side.incoherent: the response's premises cannot all hold, so nothing about the link is reported.undetermined: the search could not decide.invalid: the response's bindings do not fit the snapshot supplied.