Assertion list
opossum (primary) → AtLocation
Results from Ascent++: 2
opossum → AtLocation → the attic 0.41
opossum → AtLocation → deck 0.31