A working SVO rule for pattern matching.
A working be-inheritance rule for pattern matching.