Assertion list
triangle (primary) → AtLocation
Results from Ascent++: 3
triangle → AtLocation → perspective 0.29
triangle → AtLocation → first level 0.27
triangle → AtLocation → cosmology 0.16