Output extension (myDatalogC3e 3mA/6Rel )