Assertion list
rule (aspect of convention ) → AtLocation
Results from Ascent++: 1
rule → AtLocation → the u.s. model of may 0.25