First-Order Modal Ξ-Calculus: On the Aspects of Application and Bisimulation