Welcome to QCan!
SELECT ?q4 WHERE {{ ?q3
?q0; ?q2 ?q1 { ?q0
?q4 }} UNION {?q3
?q0 . ?q0
?q4 }}
Nothing to output.
Rewrite
Minimisation
Canonical Labeling