def subsumes(fstruct1, fstruct2):
 return (fstruct2 == unify(fstruct1, fstruct2))

def subsumes ( fstruct1 , fstruct2 ) : return ( fstruct2 == unify ( fstruct1 , fstruct2 ) )
return true if fstruct1 subsumes fstruct2 .