4/🧵
Theoretically, we show that MOTIF contains a hierarchy of provably more expressive instances by adding additional (higher-order) motifs!
For example, MOTIF with 2-path motifs (e.g., ULTRA) cannot distinguish between r₃(u, v₁) and r₃(u, v₂), but when equipped with 3-path motifs, it can!