Towards_a_Complete_Logical_Framework_for_GNN_Expressiveness