<_head> <_opr>friend <_slot name="t">b x y Steph <_rlab>(implication) rule label <_body> <_opr>friend Jane Joan Jack y Frank <_slot name="yar"> <_opc>constructor z <_slot name="yar2">c <_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 <_opc>yac constant g constant h <_opc>empty constant h <_opf>some function arg1 arg2 arg3 <_opf>some other function arg4 arg5 arg6 <_rlab>rule (query) label <_rlab> <_opc>rule label <_slot name="label">an example fact <_head> <_opr>yet another relation constant e constant b <_slot name="role_name3">role 3 <_rlab>rule (fact) label <_head> some constant d <_rbaselab> <_opc>rulebase label <_slot name="label">an example rulebase