Assertion list
sanatorium (primary) → AtLocation
Results from Ascent++: 1
sanatorium → AtLocation → pine forest 0.25