

___PATTERN_(VALID)___
Pattern MyPattern
  Return-Graph
  | > Return-RdfIriNodeImpl ComplexNode 1 [4]
  | > RdfIriNodeImpl ComplexNode 2 [5]
  | ~ RdfPredicateImpl [2] from 4 to 5 rdfpath [1] -(<>|!<>) 
  EXISTS
    : Graph
    | | > Return-RdfIriNodeImpl ComplexNode 1 [6 (4)]
    | | > RdfIriNodeImpl ComplexNode 2 [7 (5)]
    | | > RdfIriNodeImpl Element 3 [8]
    | | ~ RdfPredicateImpl [4 (2)] from 6 to 7
    | | ~ RdfPredicateImpl [5] from 7 to 8 rdfpath [2] -(<>|!<>) 
    : Morphism (2 -> 3)
    |   * NodeMapping(4 -> 6)
    |   * NodeMapping(5 -> 7)
    |   * RelationMapping(2 -> 4)
    : TRUE
  ParameterList
    : irilist [3] ( )
    : rdfpath [1] -(<>|!<>) 
    : irilist [4] ( )
    : rdfpath [2] -(<>|!<>) 
    : irilist [5] ( )

___TRANSLATION___
SELECT
  ?var4
WHERE {
  ?var4 (<>|!<>) ?var5.
  ?var5 (<>|!<>) ?var8.
}


___PATTERN_(VALID)___
Pattern MyPattern
  Return-Graph
  | > Return-RdfIriNodeImpl ComplexNode 1 [5]
  | > RdfIriNodeImpl ComplexNode 2 [6]
  | ~ RdfPredicateImpl [2] from 5 to 6 rdfpath [1] -(<>|!<>) 
  EXISTS
    : Graph
    | | > Return-RdfIriNodeImpl ComplexNode 1 [7 (5)]
    | | > RdfIriNodeImpl ComplexNode 2 [8 (6)]
    | | > RdfIriNodeImpl ComplexNode 3 [9]
    | | ~ RdfPredicateImpl [6 (2)] from 7 to 8
    | | ~ RdfPredicateImpl [4] from 8 to 9 rdfpath [2] -(<>|!<>) 
    : Morphism (2 -> 3)
    |   * NodeMapping(5 -> 7)
    |   * NodeMapping(6 -> 8)
    |   * RelationMapping(2 -> 6)
    : EXISTS
    |   : Graph
    |   | | > Return-RdfIriNodeImpl ComplexNode 1 [10 (5)]
    |   | | > RdfIriNodeImpl ComplexNode 2 [11 (6)]
    |   | | > RdfIriNodeImpl ComplexNode 3 [12 (9)]
    |   | | > RdfIriNodeImpl Element 4 [13]
    |   | | ~ RdfPredicateImpl [7 (2)] from 10 to 11
    |   | | ~ RdfPredicateImpl [8 (4)] from 11 to 12
    |   | | ~ RdfPredicateImpl [9] from 12 to 13 rdfpath [3] -(<>|!<>) 
    |   : Morphism (3 -> 4)
    |   |   * NodeMapping(7 -> 10)
    |   |   * NodeMapping(8 -> 11)
    |   |   * NodeMapping(9 -> 12)
    |   |   * RelationMapping(6 -> 7)
    |   |   * RelationMapping(4 -> 8)
    |   : TRUE
  ParameterList
    : irilist [4] ( )
    : rdfpath [1] -(<>|!<>) 
    : irilist [5] ( )
    : rdfpath [2] -(<>|!<>) 
    : irilist [6] ( )
    : rdfpath [3] -(<>|!<>) 
    : irilist [7] ( )

___TRANSLATION___
SELECT
  ?var5
WHERE {
  ?var5 (<>|!<>) ?var6.
  ?var6 (<>|!<>) ?var9.
  ?var9 (<>|!<>) ?var13.
}


___PATTERN_(VALID)___
Pattern MyPattern
  Return-Graph
  | > Return-RdfIriNodeImpl ComplexNode 1 [5]
  | > RdfIriNodeImpl ComplexNode 2 [6]
  | ~ RdfPredicateImpl [2] from 5 to 6 rdfpath [1] -(<>|!<>) 
  FORALL
    : Graph
    | | > Return-RdfIriNodeImpl ComplexNode 1 [7 (5)]
    | | > RdfIriNodeImpl ComplexNode 2 [8 (6)]
    | | > RdfIriNodeImpl ComplexNode 3 [9]
    | | ~ RdfPredicateImpl [6 (2)] from 7 to 8
    | | ~ RdfPredicateImpl [4] from 8 to 9 rdfpath [2] -(<>|!<>) 
    : Morphism (2 -> 3)
    |   * NodeMapping(5 -> 7)
    |   * NodeMapping(6 -> 8)
    |   * RelationMapping(2 -> 6)
    : EXISTS
    |   : Graph
    |   | | > Return-RdfIriNodeImpl ComplexNode 1 [10 (5)]
    |   | | > RdfIriNodeImpl ComplexNode 2 [11 (6)]
    |   | | > RdfIriNodeImpl ComplexNode 3 [12 (9)]
    |   | | > RdfIriNodeImpl Element 4 [13]
    |   | | ~ RdfPredicateImpl [7 (2)] from 10 to 11
    |   | | ~ RdfPredicateImpl [8 (4)] from 11 to 12
    |   | | ~ RdfPredicateImpl [9] from 12 to 13 rdfpath [3] -(<>|!<>) 
    |   : Morphism (3 -> 4)
    |   |   * NodeMapping(7 -> 10)
    |   |   * NodeMapping(8 -> 11)
    |   |   * NodeMapping(9 -> 12)
    |   |   * RelationMapping(6 -> 7)
    |   |   * RelationMapping(4 -> 8)
    |   : TRUE
  ParameterList
    : irilist [4] ( )
    : rdfpath [1] -(<>|!<>) 
    : irilist [5] ( )
    : rdfpath [2] -(<>|!<>) 
    : irilist [6] ( )
    : rdfpath [3] -(<>|!<>) 
    : irilist [7] ( )

___TRANSLATION___
SELECT
  ?var5
WHERE {
  ?var5 (<>|!<>) ?var6.
  FILTER NOT EXISTS {
    ?var6 (<>|!<>) ?var9.
    FILTER NOT EXISTS {
      ?var9 (<>|!<>) ?var13.
    }
  }
}
