Prototype S*SS* model
Start with LogArcs
Convert to LogArc
Fix closure -> a single path per analysis in grammar