A Feature Value Logic with Intensionality, Nonwellfoundedness and Functional and Relational Dependencies