Assertion list for term "rule for the union".

Results from Ascent++: 1
arbitrator CapableOfrule for the union 0.32