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