Type-driven semantic interpretation of F-structures · Study