Oración 1: una vez clasificadas las orbitas, cada solución 𝑠𝑖 tendrá un vector asociado 𝑙𝑖 con el tipo de cada orbita que compone la solución
Oración 2: dado un xi = (𝑥𝑖1, 𝑥𝑖2, …, 𝑥𝑖𝑛) habrá un vector asociado 𝑙𝑖 = (𝑡𝑖𝑝𝑜(𝑥𝑖1), …, 𝑡𝑖𝑝𝑜(𝑥𝑖𝑛))
Conector: es decir,
Relación: entailment
Género: theses