if the overburdening happens the iconicness does not occur.
sent1: the iconicness happens. sent2: the exploratoriness occurs. sent3: the iconicness occurs if the exploratoriness and the overburden happens. sent4: the iconicness occurs if the overburden occurs.
void -> assump1: Let's assume that the overburden occurs.; sent2 & assump1 -> int1: both the exploratoriness and the overburdening happens.;
$hypothesis$ = if the overburdening happens the iconicness does not occur. ; $context$ = sent1: the iconicness happens. sent2: the exploratoriness occurs. sent3: the iconicness occurs if the exploratoriness and the overburden happens. sent4: the iconicness occurs if the overburden occurs. ; $proof$ = 
void -> assump1: Let's assume that the overburden occurs.; sent2 & assump1 -> int1: both the exploratoriness and the overburdening happens.; __UNKNOWN__