Assertion list
student (aspect of seminary ) → AtLocation
Results from Ascent++: 1
student → AtLocation → class 0.36