Assertion list for term "subject to iht".

Results from Ascent++: 1
estate ReceivesActionsubject to iht 0.30