define half_{brother,sister}_of in terms of half_sibling_of