<_head> <_opr>friend <_slot name="t">b x y Steph <_rlab>(implication) rule label <_body> <_opr>friend Jane Joan Jack y Frank <_head> <_opr>friend <_slot name="t">b x y Steph <_rlab>(implication) rule label <_body> <_opr>friend Jane Joan Jack y Frank <_opr>friend Jane Joan Jack y Frank <_body> <_opr>some relation <_slot name="role_name1">role 1 constant a constant b <_slot name="role_name2">role 2 <_opr>another relation constant c constant d <_opr>some relation <_slot name="role_name1">role 1 constant a constant b <_slot name="role_name2">role 2 <_opr>another relation constant c constant d <_rlab>rule (query) label <_rlab>rule (fact) label <_head> <_opr>yet another relation constant e constant b <_slot name="role_name3">role 3 <_rbaselab>test rulebase