LHASA—Logic and Heuristics Applied to Synthetic Analysis