the totaling does not occur if the boarding rejoinder occurs.
sent1: that the boarding rejoinder does not occur is caused by the overriding.
void -> assump1: Let's assume that that the totaling occurs is true.; assump1 -> int1: either the totaling happens or the override happens or both.;
$hypothesis$ = the totaling does not occur if the boarding rejoinder occurs. ; $context$ = sent1: that the boarding rejoinder does not occur is caused by the overriding. ; $proof$ = 
void -> assump1: Let's assume that that the totaling occurs is true.; assump1 -> int1: either the totaling happens or the override happens or both.; __UNKNOWN__