http://premon.fbk.eu/resource/vn32-future_having-13.3_frame_3_pred_2_arg_2 an entity of type: PredArg
xsd:boolean
0
Goal