First-order_predicate_calculus loading ...