Similarly, the synsets in the pair member(police officer 1 n ,police force 1 n ) are respectively connected to PoliceOfficer a = and PoliceOrganization c +.
by applying the second QP we obtain the following CQ:  The above CQ is resolved by ATPS since its truth-test is proved to be entailed by Adimen-SUMO v2.6.