Assertion list
interim injunction (subgroup of injunction ) → IsA
Results from Ascent++: 1
interim injunction → IsA → temporary injunction 0.25