conjunction induction done

semantic graph: distances shortcut added