Truth-conditional_semantics loading ...