Assertion list
horizontal line (subgroup of line ) → AtLocation
Results from Ascent++: 1
horizontal line → AtLocation → landscape photography 0.31