;; Culprit query crashing ROCCA as described in https://github.com/opencog/rocca/issues/59
(SatisfactionLink
  (VariableSet
    (VariableNode "$Y"))
  (AndLink
    (IsTrueLink
      (AtTimeLink (stv 1 1)
        (EvaluationLink
          (PredicateNode "Reward")
          (NumberNode "1"))
        (SLink
          (SLink
            (SLink
              (SLink
                (SLink
                  (SLink
                    (SLink
                      (SLink
                        (SLink
                          (SLink
                            (SLink
                              (SLink
                                (SLink
                                  (SLink
                                    (SLink
                                      (SLink
                                        (SLink
                                          (SLink
                                            (SLink
                                              (SLink
                                                (SLink
                                                  (SLink
                                                    (SLink
                                                      (SLink
                                                        (SLink
                                                          (ZLink)))))))))))))))))))))))))))
      (AtTimeLink
        (EvaluationLink
          (PredicateNode "Cart Velocity")
          (VariableNode "$Y"))
        (SLink
          (SLink
            (SLink
              (SLink
                (SLink
                  (SLink
                    (SLink
                      (SLink
                        (SLink
                          (SLink
                            (SLink
                              (SLink
                                (SLink
                                  (SLink
                                    (SLink
                                      (SLink
                                        (SLink
                                          (SLink
                                            (SLink
                                              (SLink
                                                (SLink
                                                  (SLink
                                                    (SLink
                                                      (SLink
                                                        (SLink
                                                          (ZLink))))))))))))))))))))))))))))
    (IsClosedLink
      (AtTimeLink (stv 1 1)
        (EvaluationLink
          (PredicateNode "Reward")
          (NumberNode "1"))
        (SLink
          (SLink
            (SLink
              (SLink
                (SLink
                  (SLink
                    (SLink
                      (SLink
                        (SLink
                          (SLink
                            (SLink
                              (SLink
                                (SLink
                                  (SLink
                                    (SLink
                                      (SLink
                                        (SLink
                                          (SLink
                                            (SLink
                                              (SLink
                                                (SLink
                                                  (SLink
                                                    (SLink
                                                      (SLink
                                                        (SLink
                                                          (ZLink)))))))))))))))))))))))))))
      (AtTimeLink
        (EvaluationLink
          (PredicateNode "Cart Velocity")
          (VariableNode "$Y"))
        (SLink
          (SLink
            (SLink
              (SLink
                (SLink
                  (SLink
                    (SLink
                      (SLink
                        (SLink
                          (SLink
                            (SLink
                              (SLink
                                (SLink
                                  (SLink
                                    (SLink
                                      (SLink
                                        (SLink
                                          (SLink
                                            (SLink
                                              (SLink
                                                (SLink
                                                  (SLink
                                                    (SLink
                                                      (SLink
                                                        (SLink
                                                          (ZLink))))))))))))))))))))))))))))
    (PresentLink
      (AtTimeLink (stv 1 1)
        (EvaluationLink
          (PredicateNode "Reward")
          (NumberNode "1"))
        (SLink
          (SLink
            (SLink
              (SLink
                (SLink
                  (SLink
                    (SLink
                      (SLink
                        (SLink
                          (SLink
                            (SLink
                              (SLink
                                (SLink
                                  (SLink
                                    (SLink
                                      (SLink
                                        (SLink
                                          (SLink
                                            (SLink
                                              (SLink
                                                (SLink
                                                  (SLink
                                                    (SLink
                                                      (SLink
                                                        (SLink
                                                          (ZLink)))))))))))))))))))))))))))
      (AtTimeLink
        (EvaluationLink
          (PredicateNode "Cart Velocity")
          (VariableNode "$Y"))
        (SLink
          (SLink
            (SLink
              (SLink
                (SLink
                  (SLink
                    (SLink
                      (SLink
                        (SLink
                          (SLink
                            (SLink
                              (SLink
                                (SLink
                                  (SLink
                                    (SLink
                                      (SLink
                                        (SLink
                                          (SLink
                                            (SLink
                                              (SLink
                                                (SLink
                                                  (SLink
                                                    (SLink
                                                      (SLink
                                                        (SLink
                                                          (ZLink))))))))))))))))))))))))))))))