Assertion list for term "insured for their full value".

Results from Ascent++: 1
return IsAinsured for their full value 0.46