We propose a logic of east and west (LEW ) for points in 1D Euclidean space. It formalises primitive direction relations: (E), (W) indeterminate east/west (Iew). has parameter τ ∈ N>1, which is referred to as the level indeterminacy directions. For every we provide sound complete axiomatisation LEW , prove that its satisfiability problem NP-complete. In addition, show finite axiomatisability...

Seismic reflection profiles, drill-hole data, and geologic maps delimit the form of normal faults and Tertiary sedimentary rocks in the southern half of the Cache Valley basin in northern Utah. Dips of faults and sedimentary rocks were estimated from time-migrated reflection profiles by using the stacking velocities for the data. At the southern end of the basin, the East Cache fault zone is li...