In order to ensure transitive relations are found (and automatically labeled), the current workflow of the search job (jobs.job_poly_pslq_v1) is to be considered a "prospecting" step, and once a relation in found in this prospecting step, forward it to a "mining" step where each constant in the relation is replaced with every choice of constant to which it is connected (with relations of degree and order up to the same degree and order found) and search those for relations. You could even separate prospecting and mining to two completely separate processes.
In order to ensure transitive relations are found (and automatically labeled), the current workflow of the search job (
jobs.job_poly_pslq_v1) is to be considered a "prospecting" step, and once a relation in found in this prospecting step, forward it to a "mining" step where each constant in the relation is replaced with every choice of constant to which it is connected (with relations of degree and order up to the same degree and order found) and search those for relations. You could even separate prospecting and mining to two completely separate processes.