problem builtin.

abstract class node {
	refers node[0..*] equals opposite equals
}

predicate exists(node node).