<_head> <_opr>friend John Bob <_rlab>(implication) rule label <_body> <_opr>friend Bob 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 <_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