Logical_semantics loading ...