ResultSet
result variable: y
size: 1
solution: ResultSolution
  binding: ResultBinding
    variable: y
    value: p-1