Semantics_of_logic loading ...