CADET Answers

CADET first tries to find an exact match.
If no match is found then try to match various subgraphs of the desired functional specification (that is, match parts).
If multiple cases match different subgraphs then maybe the entire query can be pieced together.
If still no match, then elaborate existing examples in order to create graphs that might match. For example \[A \rightarrow B\] becomes \[A \rightarrow x \rightarrow B\]