URI: MP-JuSS
Package: Legal
< prev | next >
Description: Finds space subject to a jurisdiction which is the entrance to another space that has no jurisdiction.
Root Pattern: R-JuSS
Finds a space subject to a jurisdiction which is the entrance to another space.
Finds a space subject to a jurisdiction, which is the entrance to another space, and asserts that the other space is also subject to the jurisdiction (unless it already has one).
        (empty)