Assertion list
homer (primary) → AtLocation
Results from Ascent++: 2
homer → AtLocation → bed 0.25
homer → AtLocation → the u.s. state of alaska 0.25