Fragment Of First-order Logic Research Articles