Assertion list
father (aspect of grant ) → AtLocation
Results from Ascent++: 1
father → AtLocation → prison 0.36