| PROP qualif mainc istrue isfalse attrc OF pattern set_exp
{ M.Property (f $2) (s $2) (t $2) $3 $4 $5 $6 $8 $9 }
| LOG xml source set_exp
{ make_fun ["log"; $2; $3] [] [$4] }
| PROP qualif mainc istrue isfalse attrc OF pattern set_exp
{ M.Property (f $2) (s $2) (t $2) $3 $4 $5 $6 $8 $9 }
| LOG xml source set_exp
{ make_fun ["log"; $2; $3] [] [$4] }