the staging happens if the indexation happens.
sent1: the decoupling does not occur.
$hypothesis$ = the staging happens if the indexation happens. ; $context$ = sent1: the decoupling does not occur. ; $proof$ = 
__UNKNOWN__