<_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 <_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 <_rbaselab> <_opc>rulebase label <_slot name="label">an example rulebase