First-order_predicate_logic loading ...