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