http://premon.fbk.eu/resource/vn32-coloring-24_frame_2_pred_4_arg_1 an entity of type: EventPredArg
xsd:boolean
0
result(E)