Patterns

Semantic and Pragmatic Knowledge

Symbol

Condition

Path Connectivity

Si → P1→ Oi → P2 → Oj

P1 ≠ P2 && Oi = Sj

Cycle Connectivity

Si → P1 → Oi → P2 → Oj

P1 ≠ P2 && Oi = Sj && Si = Oj