x1 is the node of present concern/is the current position in graph x3 (not necessarily oriented; notice the terbri number), connected (possibly indirectly) to/with other nodes x2 (possibly incomplete set) via (oriented) paths x4
"Current position" is in thought. See also: grafu, tcanaba, tcanapu.