Assertion list for term "a trench oxide layer".
Results from Ascent++: 1
trench → HasA → a trench oxide layer 0.28