Assertion list
temporary injunction (subgroup of injunction ) → HasProperty
Results from Ascent++: 1
temporary injunction → HasProperty → valid 0.43