Assertion list for term "allowed sensor".

Results from Ascent++: 1
led CapableOfallowed sensor 0.41