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