# def_rel_4:
rel_4 :=  person_id[relation_to_head == 4]

# def_rel_3:
spouse_of_rel_3 :=  spouse_id[relation_to_head == 3]

# rule_12:
all(rel_4 %in% spouse_of_rel_3)
