Matches in Nanopublications for { ?s ?p ?o <http://purl.org/np/RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc#assertion>. }
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911266.RAS165o2yqV-TbB8HrbPv_49OURfm_9NaVCwGOYtzC7c8 assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911267.RASqt1ENGdP3MTKfr5Ebvftb_XSRGb6KfUy87P3laDW_k assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911279.RAWSANHrqnB-e2BqNcPur3kHhJdTHXMGXoNNZKLkeI9f4 assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911287.RAWDaMUW6itXivau49QtZGqvD5TxsAef1lLsYO9GeXuos assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911292.RAUPSk-QCjeebO5ZsuEJoti27WuBalRbAimVUAewm6n_w assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911298.RAaRwOPxJr-2_DKs7jTtldhOAAeBnlVjA_tkDNlotfnRo assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911299.RAbpikOrQILQvFU4ZVt6edcSK8fTrE4lialvtrCMpZGYc assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911300.RAa5z1FOwEp0xgujwY6Ki9Vj8I_oQCIu1jaqFh5PWELIA assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911302.RAQIB3NQxD80P5sRSRrAHSnHESHa2P3uvq88C9TOh2vDs assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911323.RAflTP1ufmZJhpRDl6WEbgDtwct4xYMX_AbJEFrFHv35Y assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911369.RAfgCk_PswY3HTQG5KjEjs4arJQVj0rOf8Q_DbMOi7NNA assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911371.RAQoA7D1zGeKDcDA-3fFOVwj40efiEFtOrHpCGXFW3ZhI assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911375.RAfAUFJLzP_PdrZeub5tYvWvucNFBdwVAJW0izccjNucU assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911388.RAQ1S_e9UznPCJ5AOalUhSrd7DFx_MwHyd0-iYl_dPZMU assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911389.RAfIj4inP3TOM9opIfZZfBSOShQVSrRd83ouQebjFMpOo assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911394.RAY6LC8T3FIbYQgnpS-aslraUxhFn4zqUUZcSRxQuMeDk assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911397.RAfpY86FuepAnmyc9AVU4hVWGyhyGIKYldvENloLbU_hE assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911401.RAWiRDnFZAdjmN7TohTbFDNKX03LnvtNbN97gyT998cvo assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911408.RAYjAsle6ZY64dz8Y_BZOwRbJvUX5Wa-M9vQtV2wj47Kc assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911410.RARdYNh-HpDFIx2aNJXyLWLyHyaiaPDPKu-qWauBqb89U assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911439.RAdRx_t8UgbB5EDkeHKVnd8zJeb3AjXmDGS_CD5ednhJY assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911444.RARor4iVrPI_3FPWYDXo_tugu08iqkdoJkCbsWSnjUaac assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911465.RAbHys4SnnoKG367bXfhHyO6RArK8XSpY_w1tH3Pck4Y0 assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911490.RAc_HpxvXDmvrI2uXdNewoxeA5SuxQtRAlmujHY-H3ehc assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911495.RAe4A8w_HsmbBnBbqKA0OcQJ513YX98bRm0rJtuGH2hnw assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911499.RAQAMpu7R2a7eTPg7XF8nth0BeEliyt9MrXxXIFzKDpzU assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911501.RAYjMut1y_RKYbB1510ao1Wfl1cc5xIbqbD5Mq3NqJLjE assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911523.RARhs8RdCInsJVc095a3uCgk9sEqhDzuukps5XhG1kSho assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911525.RAWlRxn8DiC9RbXxDdOfIrZ-R01SWXz3t01zBPRnjK-QE assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911535.RAei1_st-ZQwYLRXDQ0_skbQbqzX0XcHic_Gj-CJ9VG0M assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911546.RAbbieTdwblbs66FiTDmGuABcpobBmUlWV722ZHBjp-GQ assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911590.RAaqgaYVk5-MxP1nYCKMX6o1Q3mjZchNDUZF_B0Pba5Ps assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911600.RAdOoNOzok81cCuQ3GxKjSr5bi_bC1yA52l7FrCw1k8Ek assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911609.RAfmrtuQ25g2QdtsF06Z1ltRHrbzwaeKlxe6KoXN2WVTo assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911612.RAVFBxMQ07WAY2LIue9imkfO2J_9Ipgpv8L1A2qjhTeNM assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911614.RAY50oEVBWnSQvei4PlRe3ouZyGIB1qaXo6Fwjiv-S4T4 assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911621.RASEcZGupg8Dh5_ZNwtrHcYIs0ugIbV4C36QdO68NxuY8 assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911641.RAW6a5ex453wTwdjk_AeEwx-jvbtksQBg9N_OCIVpn8ug assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911649.RAYY505GLR56ua82ZX7P6r_iuqBEENPf3grAB687AITm8 assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911652.RAf-jf0ukL885ojHCRl_DKO1KQPp7IAHMzwxaDNnVsp7U assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911653.RAb7LwyPrE5wfE6luCCAbzfaJ9aukzVp2o7rpcG3eifWQ assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911662.RAZyBaZkENtB_iBg-ehUxHSQc05CYE4kXH18hmgdIRmK4 assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911663.RAbcMNnDFla66QHKoTxX0qVREgLEd5k9didBBaC5VAbN8 assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911664.RAaG-eA3RiI_EgEQZmACCP9vTML6YEHwyjuU88gMQkgNk assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911668.RAeifQqjrmF6-l3zxBL-AqOt6x0iZkzA2RLJXQBq3SzzY assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911678.RAXMJuGCiH5WShJcdnn0yMHd57yCQBj5B-8QRsbI-Au7s assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911688.RAZWy44IDOP3hXwbhNjM_3onAuAITPMhv9_78FcYWuQLI assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911691.RAdThlMuJSkvcDTlPfLTxVAtJfBunr9nVvIRpUoZS3R6c assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911696.RATBelOvjzNJZlFLbYgZkuDmsqWbaG2AnUmOJ3sY93PWk assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911698.RAfIumpR0t2UcaQHEmrhQoJRS5RIA9_r99NyXyyOgexpE assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911700.RAVFfPKXACbWZBEFBZmqzf18PECIeD6-PGOPvzdCdPh98 assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911704.RAdSPOcMjjUABk8nQgs1E9H-fGRP4gNtw2wHlXz1EV6TQ assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911711.RAYAPQkoQaW8sOfvSZNNm-p6P0voj4gDix97Wf8ngxTd4 assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911734.RAbOIKi0Qg4ueZlROt8oHbs6S9F6RSNz83L986AuL7SgI assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911735.RAfMkRoKhTG25Z3vqGPOp-5yMYNASnGdRYDiJC628z-yE assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911736.RASQ4htaxIkcKfA3yFrgH0ZBJLvSJ_gSoEHH3LjwMFjqE assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911770.RATc0guJvPghvthdrMrsVSCIi2ur1BD_o6K6sPRVrZRlQ assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911779.RAc6QqHJhJkXZg9btGikAT8_uYotqqWxlkbx5eivOs9eU assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911787.RAR-7ZLGdGQVdRpJoZAtWhZCqNbMF-twRIL8P0G3K2QOY assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911788.RAceyxveUsMb2bD_5yR96t0CMYcchpXr0K-F0Sde8AeWk assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911790.RAeE42pHsmv84-Fciydvq1btZOwuVsTuD2Z9I37qGuIS8 assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911797.RASi5HcCHAm5_QPdaQVOliKLAC9zZFEoboMga7uDM6giE assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911801.RAZVLmh-Zcfr-hJxMbp6RM84Yvah0u4DqxZXaUJwEEzyk assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911808.RARjzRGaUixfcjene2AuvAlH6JqHQEhtoXMi6Om8VZ9vk assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911817.RAZkT_MXOFhJRBp8H3P1tds90CxebFnOnuGEqC5p_Q2C4 assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911826.RAdQOy_3JCpdzssth7axaouqNZ9lyHSOZnT6oT4x0qJTM assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911830.RAby9fOQG2qWKozj53l3gySozT34HodH2OVyw1eSICjrA assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911844.RAcnspkDn5rRUeUc7q-e5uNlN3axNF04KluN5jNKQinSM assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911851.RATJtv5hFUDxO_vLPUvOIaYvMrokSQj9WwXOC5C1brzDc assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911855.RAbvZGOvkJmW7Dnpkc0yntbUQWGSIfdo7Upin7xg6GSpo assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911857.RATjSp2fkThYRvLIIlee7JnTQx-5pNyP0yYMl5qV01wI8 assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911858.RAZuIlY-4Ubr5GF7guBYP9f7Y6xBaPONWB2aTo6xQdxNY assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911876.RAcGCKSTO9BSNREeNKtrO_tasDcpJne7ZatiixP7dqFzY assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911880.RAS9m9glXwww9CsIApOzuwG8HK2ndbe8AxN7VftVW-H1g assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911882.RAUOyErdjIGoA9m3jAn0y0VZdJVe_PW49FXAAf1ucZj4g assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911897.RAfDpuyY-1LK01_k7bo_CEMw7AKkO7I7te39vvDloMoCc assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911903.RARPtmBBqgAXzXnhjN0wmmy9VJAw_xhnw8q1c3lXSIVbY assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911916.RAdseq_UECe1UhMlBmcpNuJ2JooB6tWFNGuZPLOlCAIns assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911917.RAQvX75Ae_vVecVk3ffIzC1ITvxi8kcNpmBEwD67FBO-M assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911921.RAZCdQIkoZ4Go-538tAR93iIBYz8rn4wt9NLxK8Hw7Arc assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911925.RAaLOS6ACcffmDuLro5DXDv8sF2mtSoCnMYeoUuyRs3Rs assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911934.RAXim0UgIy5t6lZxrcfrSQUD3wrOuTGZbFkl5KJUB8wTM assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911942.RASSn4upBxRcuxTGcxfDuv4qLDGYHHiDy0szhd00MlZfc assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911943.RAUMK0Hzm9dsQuOpoKl4i85BrvTrIEQblkBQdeEpjiH2g assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911944.RAfwpFB4lDbj-fn25glynddIct4SQgTSFhTI8sTlCuBoA assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911952.RAVcogkZxaQs4CUh8eD9rRRV7Eys9ddLeY4u9FjRXw8Ds assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911956.RAU7sKHFJGd5EpR1tYh9mQ845OmaK5nm8dw5IuX_WohSU assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911977.RAVj_DmBzQJdu-aLCXAPMfkSQtmqAxuH6akzQEsocHV4M assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP911984.RAQLBpgro3EZDs7e3LADHfQm0mkEy71_WcYxSh7r35e1M assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP910029.RA6JmC4Fm5vt-c8DzO5wX1JMmhUW_QKDqFglVO3u3PGVI assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP910107.RAyVwz5qSFKbfCE18zvAchAeITj8AXtVBsUe2ijbIpsJg assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP910175.RA3McUJHBsSBr7vk1U6qbYD2gG83h5P69PKTurmmQU7cA assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP910204.RA_K_30M8X35SV5rKlf6pZHAx7zZihUI0lCHaw9G52BkQ assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP910224.RA1FbtrE78bcAouyztjkYxn_aEXeGM1o7U2nSpR4W_4pc assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP910225.RA_1S5tyPvsKaaKuopKACjTsLhpsxmJtGP446Gkm3pGfs assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP910234.RA_m7jZu8jGSAGsRxihQ0_8q1WTgcirhDvyYYbjBOmvw0 assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP910247.RA7a2s2wfSoliWvoS6bS3bgAK4_z2k1Rya7IcH3pe-y7Y assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP910255.RA0dNgnF5fj9wma-2LQWDeRlUGVLyZ8-B9wWAR4gu2dHM assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP910264.RA5vyfvPtGvqSd5YU3h29u5wI8Tt8WDHxBM4_DFlX7V48 assertion.
- RA5qXnVoK1dFm5XvKDR1LKoWkTlFLO3AMSWaZN1ShXndc includesElement NP910270.RA-mjagnOYMcy4aMLkH_w-ZXnvEffXz3wu0Ao4NIy-p_U assertion.