Instance_(predicate_logic) loading ...