Assertion list
language (aspect of student ) → AtLocation
Results from Ascent++: 1
language → AtLocation → rtl 0.25