is there a file format for multi-level structured arguments with probabilities on each proposition?