Assertion list
bobby (primary) → AtLocation
Results from Ascent++: 3
bobby → AtLocation → jail 0.30
bobby → AtLocation → school 0.30
bobby → AtLocation → car 0.25