Assertion list
brother (aspect of frank ) → AtLocation
Results from Ascent++: 2
brother → AtLocation → prison 0.43
brother → AtLocation → chicago 0.25