Viftediagram for Synned Clauses

%