Assertion list
wife (aspect of baker ) → AtLocation
Results from Ascent++: 2
wife → AtLocation → brentwood 0.25
wife → AtLocation → houston 0.25