Consequência_semântica loading ...