answer(structured_head_rule, a).