Assertion list
fence (primary) → HasSubevent
Results from Ascent++: 3
fence → HasSubevent → ultra-modern law of servitudes 0.25
fence → HasSubevent → undefined behavior 0.25
fence → HasSubevent → more parking 0.16