<_head>
<_opr>friend
<_slot name="t">b
x
y
<_rlab>(implication) rule label
<_body>
<_opr>friend
y
Frank
<_body>
<_opr>some relation
<_slot name="role_name1">role 1 variable
constant a
constant b
<_slot name="role_name2">role 2 variable
<_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