Assertion list
compound (aspect of bin laden ) → AtLocation
Results from Ascent++: 1
compound → AtLocation → abbottabad 0.25