Assertion list
charging station (subgroup of station ) → AtLocation
Results from Ascent++: 1
charging station → AtLocation → crowded parking lot 0.16