http://premon.fbk.eu/resource/vn32-throw-17.1-1_frame_pred_3_arg_1 an entity of type: EventPredArg
xsd:boolean
0
during(E1)