Assertion list
wife (aspect of jack ) → AtLocation
Results from Ascent++: 3
wife → AtLocation → nashville 0.36
wife → AtLocation → atlanta 0.25
wife → AtLocation → brooklyn 0.25