Assertion list for term "rule 56(c".

Results from Ascent++: 1
rule (aspect of order) CapableOfrule 56(c 0.25