Assertion list for term "control the entrance".

Results from Ascent++: 1
signal CapableOfcontrol the entrance 0.31