Assertion list
trench (primary) → HasA
Results from Ascent++: 7
trench → HasA → depth 0.40
trench → HasA → protective system 0.38
trench → HasA → sidewall 0.35
trench → HasA → a trench oxide layer 0.28
trench → HasA → ladder 0.25
trench → HasA → perforated pipe 0.25
trench → HasA → predetermined width 0.25