From f5737c8a579b736b250de21664c66031ea7e58db Mon Sep 17 00:00:00 2001
From: Andrew Sales <andrew@andrewsales.com>
Date: Sat, 1 Aug 2020 12:18:14 +0100
Subject: [PATCH] Fixes #18, fixes #19.

---
 schematron.sch | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/schematron.sch b/schematron.sch
index fcb0594..a6649ad 100644
--- a/schematron.sch
+++ b/schematron.sch
@@ -38,11 +38,12 @@ AND SHOULD NOT BE INTERPRETED AS COMPLYING WITH THAT STANDARD."
                       the id attribute of an abstract pattern.
                </sch:assert>
           </sch:rule>
-          <sch:rule context="sch:extends">
+          <sch:rule context="sch:extends[@rule]">
                <sch:assert test="//sch:rule[@abstract='true'][@id=current()/@rule]"> The rule
-                      attribute of an extends element shall match the id
-                      attribute of an abstract rule.
+                    attribute of an extends element shall match the id
+                    attribute of an abstract rule.
                </sch:assert>
+               <sch:assert test="@rule = ../../sch:rule[@abstract='true']/@id">An abstract rule must extend another rule belonging to the same pattern: rule with id attribute '<sch:value-of select="@rule"/>' is not a child of the containing pattern.</sch:assert>
           </sch:rule>
           <sch:rule context="sch:let">
                <sch:assert