could_1 := modal.

ought_1 := modal &
[ SYNSEM.VAL.COMPS.HD.HEAD.VFORM inf ].