Por ejemplo, siA\lifB se infiere delB uso\Intro\lif, cualquier suceso deA como suposiciones en la derivación que conduce a la premisaB puede ser descargada, y se le da una etiq...Por ejemplo, siA\lifB se infiere delB uso\Intro\lif, cualquier suceso deA como suposiciones en la derivación que conduce a la premisaB puede ser descargada, y se le da una etiqueta que también se registra en el inferencia.
